--- a/jdk/src/java.prefs/share/classes/module-info.java	Fri Feb 10 10:07:42 2017 +0800
+++ b/jdk/src/java.prefs/share/classes/module-info.java	Thu Feb 09 18:33:28 2017 -0800
@@ -25,6 +25,8 @@
 
 /**
  * Defines the Preferences API.
+ *
+ * @since 9
  */
 module java.prefs {
     requires java.xml;