Index: applications/editors/josm/plugins/ext_tools/src/ext_tools/ToolsInformation.java
===================================================================
--- applications/editors/josm/plugins/ext_tools/src/ext_tools/ToolsInformation.java	(revision 36474)
+++ applications/editors/josm/plugins/ext_tools/src/ext_tools/ToolsInformation.java	(revision 36483)
Index: applications/editors/josm/plugins/ext_tools/src/ext_tools/preferences/EditToolDialog.java
===================================================================
--- applications/editors/josm/plugins/ext_tools/src/ext_tools/preferences/EditToolDialog.java	(revision 36474)
+++ applications/editors/josm/plugins/ext_tools/src/ext_tools/preferences/EditToolDialog.java	(revision 36483)