/systemtap/org.eclipse.linuxtools.systemtap.ui.editor/.settings/