diff -r 1d01112e9ce5 -r eded175efec2 jdk/src/share/classes/java/util/Properties.java
--- 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();
                 }});
         }