--- old/jdk/src/java.prefs/share/classes/module-info.java	2017-06-07 10:49:39.000000000 -0700
+++ new/jdk/src/java.prefs/share/classes/module-info.java	2017-06-07 10:49:39.000000000 -0700
@@ -26,6 +26,8 @@
 /**
  * Defines the Preferences API.
  *
+ * @uses java.util.prefs.PreferencesFactory
+ *
  * @moduleGraph
  * @since 9
  */