--- old/src/share/classes/java/util/Properties.java	2012-12-18 12:24:52.000000000 +0000
+++ new/src/share/classes/java/util/Properties.java	2012-12-18 12:24:52.000000000 +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();
                 }});
         }