jdk/src/java.prefs/share/classes/module-info.java
changeset 45528 1e8c2f062ad3
parent 44417 a431edba1629
child 45654 5ff2edfa03fc
--- a/jdk/src/java.prefs/share/classes/module-info.java	Wed Jun 07 18:54:45 2017 -0700
+++ b/jdk/src/java.prefs/share/classes/module-info.java	Wed Jun 07 21:15:06 2017 -0700
@@ -26,6 +26,8 @@
 /**
  * Defines the Preferences API.
  *
+ * @uses java.util.prefs.PreferencesFactory
+ *
  * @moduleGraph
  * @since 9
  */
@@ -35,4 +37,3 @@
     exports java.util.prefs;
     uses java.util.prefs.PreferencesFactory;
 }
-