Index: trunk/src/org/openstreetmap/josm/gui/preferences/SourceEditor.java
===================================================================
--- trunk/src/org/openstreetmap/josm/gui/preferences/SourceEditor.java	(revision 9569)
+++ trunk/src/org/openstreetmap/josm/gui/preferences/SourceEditor.java	(revision 9570)
@@ -1360,6 +1360,5 @@
 
         protected void warn(Exception e) {
-            String emsg = e.getMessage() != null ? e.getMessage() : e.toString();
-            emsg = emsg.replaceAll("&", "&amp;").replaceAll("<", "&lt;").replaceAll(">", "&gt;");
+            String emsg = Utils.escapeReservedCharactersHTML(e.getMessage() != null ? e.getMessage() : e.toString());
             final String msg = tr(getStr(I18nString.FAILED_TO_LOAD_SOURCES_FROM), url, emsg);