--- old/src/java.base/share/classes/java/lang/module/InvalidModuleDescriptorException.java	2017-02-07 13:13:26.889795367 +0000
+++ new/src/java.base/share/classes/java/lang/module/InvalidModuleDescriptorException.java	2017-02-07 13:13:26.726784172 +0000
@@ -31,6 +31,7 @@
  *
  * @see ModuleDescriptor#read
  * @since 9
+ * @spec JPMS
  */
 public class InvalidModuleDescriptorException extends RuntimeException {
     private static final long serialVersionUID = 4863390386809347380L;