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(); }}); }