--- a/jdk/src/java.prefs/share/classes/module-info.java Wed Aug 17 16:03:52 2016 -0700
+++ b/jdk/src/java.prefs/share/classes/module-info.java Thu Aug 18 12:39:23 2016 -0400
@@ -23,6 +23,9 @@
* questions.
*/
+/**
+ * Defines the Preferences API.
+ */
module java.prefs {
requires java.xml;