Index: /trunk/src/org/openstreetmap/josm/gui/preferences/map/MapPaintPreference.java
===================================================================
--- /trunk/src/org/openstreetmap/josm/gui/preferences/map/MapPaintPreference.java	(revision 8315)
+++ /trunk/src/org/openstreetmap/josm/gui/preferences/map/MapPaintPreference.java	(revision 8316)
@@ -43,6 +43,4 @@
 
     private static final List<SourceProvider> styleSourceProviders = new ArrayList<>();
-
-    private static final String OLD_ELEMSTYLES_XML = "resource://styles/standard/elemstyles.xml";
 
     /**
@@ -245,6 +243,4 @@
                 knownDefaults.add(def.url);
             }
-            // XML style is not bundled anymore
-            knownDefaults.remove(OLD_ELEMSTYLES_XML);
             Main.pref.putCollection("mappaint.style.known-defaults", knownDefaults);