jdk/src/share/classes/java/util/Properties.java
changeset 14909 eded175efec2
parent 14187 9e193f8bab66
child 18568 59fcf0320687
--- a/jdk/src/share/classes/java/util/Properties.java	Wed Dec 19 12:09:10 2012 +0000
+++ b/jdk/src/share/classes/java/util/Properties.java	Wed Dec 19 14:53:33 2012 +0000
@@ -1188,7 +1188,7 @@
                         provider = loadProviderAsService(cl);
                         if (provider != null)
                             return provider;
-                        throw new InternalError("No fallback");
+                        return new jdk.internal.util.xml.BasicXmlPropertiesProvider();
                 }});
         }