Index: applications/editors/josm/plugins/ext_tools/src/ext_tools/ToolsInformation.java
===================================================================
--- applications/editors/josm/plugins/ext_tools/src/ext_tools/ToolsInformation.java	(revision 27863)
+++ applications/editors/josm/plugins/ext_tools/src/ext_tools/ToolsInformation.java	(revision 27893)
@@ -34,5 +34,6 @@
             rdr.close();
         } catch (Exception e) {
-            e.printStackTrace();
+	    System.err.println("Ext_Tools warning: can not load file "+filename);
+//            e.printStackTrace();
         }
     }
@@ -46,5 +47,6 @@
             w.close();
         } catch (Exception e) {
-            e.printStackTrace();
+	    System.err.println("Ext_Tools warning: can not save file "+filename);
+//            e.printStackTrace();
         }
     }