/systemtap/org.eclipse.linuxtools.systemtap.ui.editor/.settings/
../
org.eclipse.jdt.core.prefs