--- old/src/java.base/share/classes/java/lang/module/ResolvedModule.java	2017-02-07 13:13:29.862999545 +0000
+++ new/src/java.base/share/classes/java/lang/module/ResolvedModule.java	2017-02-07 13:13:29.693987938 +0000
@@ -37,6 +37,7 @@
  * module's content.
  *
  * @since 9
+ * @spec JPMS
  * @see Configuration#modules()
  */
 public final class ResolvedModule {