Index: trunk/src/org/openstreetmap/josm/gui/preferences/SourceEditor.java =================================================================== --- trunk/src/org/openstreetmap/josm/gui/preferences/SourceEditor.java (revision 4040) +++ trunk/src/org/openstreetmap/josm/gui/preferences/SourceEditor.java (revision 4041) @@ -1222,4 +1222,6 @@ private String fromSourceEntry(SourceEntry entry) { + if (entry == null) + return null; StringBuilder s = new StringBuilder(""); if (entry.title != null) {