Index: applications/editors/josm/plugins/ext_tools/src/ext_tools/preferences/ExtToolsPreference.java
===================================================================
--- applications/editors/josm/plugins/ext_tools/src/ext_tools/preferences/ExtToolsPreference.java	(revision 27848)
+++ applications/editors/josm/plugins/ext_tools/src/ext_tools/preferences/ExtToolsPreference.java	(revision 27863)
@@ -8,5 +8,5 @@
 import javax.swing.JScrollPane;
 
-import org.openstreetmap.josm.gui.preferences.PreferenceSetting;
+import org.openstreetmap.josm.gui.preferences.DefaultTabPreferenceSetting;
 import org.openstreetmap.josm.gui.preferences.PreferenceTabbedPane;
 import org.openstreetmap.josm.tools.GBC;
@@ -14,9 +14,10 @@
 import ext_tools.ExtToolsPlugin;
 
-public class ExtToolsPreference implements PreferenceSetting {
+public class ExtToolsPreference extends DefaultTabPreferenceSetting {
 
     ExtToolsPlugin plugin;
 
     public ExtToolsPreference(ExtToolsPlugin plugin) {
+        super("ext", tr("External tools"), tr("Use external scripts in JOSM"));
         this.plugin = plugin;
     }
@@ -24,6 +25,5 @@
     @Override
     public void addGui(PreferenceTabbedPane gui) {
-        JPanel p = gui.createPreferenceTab("ext", tr("External tools"),
-                tr("Use external scripts in JOSM"));
+        JPanel p = gui.createPreferenceTab(this);
         MyToolsPanel tp = new MyToolsPanel(plugin.myTools);
         tp.refresh();