--- a/jdk/src/java.prefs/share/classes/module-info.java Sat Jun 17 08:03:05 2017 +0100
+++ b/jdk/src/java.prefs/share/classes/module-info.java Sat Jun 17 11:50:55 2017 -0700
@@ -35,5 +35,6 @@
requires java.xml;
exports java.util.prefs;
+
uses java.util.prefs.PreferencesFactory;
}