Index: applications/editors/josm/plugins/ext_tools/src/ext_tools/ToolsInformation.java
===================================================================
--- applications/editors/josm/plugins/ext_tools/src/ext_tools/ToolsInformation.java	(revision 30737)
+++ applications/editors/josm/plugins/ext_tools/src/ext_tools/ToolsInformation.java	(revision 30738)
@@ -8,4 +8,6 @@
 import java.util.ArrayList;
 import java.util.List;
+
+import org.openstreetmap.josm.Main;
 
 public class ToolsInformation {
@@ -20,7 +22,6 @@
 
     public void load() {
-        try {
-            BufferedReader rdr = new BufferedReader(new InputStreamReader(
-                    new FileInputStream(filename), "UTF-8"));
+        try (BufferedReader rdr = new BufferedReader(new InputStreamReader(
+                    new FileInputStream(filename), "UTF-8"))) {
             StringBuilder sb = new StringBuilder();
             String line;
@@ -32,21 +33,15 @@
                 }
             }
-            rdr.close();
         } catch (Exception e) {
-	    System.err.println("Ext_Tools warning: can not load file "+filename);
-//            e.printStackTrace();
+            Main.warn("Ext_Tools warning: can not load file "+filename);
         }
     }
 
     public void save() {
-        try {
-            OutputStreamWriter w = new OutputStreamWriter(new FileOutputStream(filename),
-                    "UTF-8");
+        try (OutputStreamWriter w = new OutputStreamWriter(new FileOutputStream(filename), "UTF-8")) {
             for (ExtTool tool : tools)
                 w.write(tool.serialize());
-            w.close();
         } catch (Exception e) {
-	    System.err.println("Ext_Tools warning: can not save file "+filename);
-//            e.printStackTrace();
+            Main.warn("Ext_Tools warning: can not save file "+filename);
         }
     }