src/java.base/share/classes/java/lang/module/InvalidModuleDescriptorException.java

@@ -29,10 +29,11 @@
  * Thrown when reading a module descriptor and the module descriptor is found
  * to be malformed or otherwise cannot be interpreted as a module descriptor.
  *
  * @see ModuleDescriptor#read
  * @since 9
+ * @spec JPMS
  */
 public class InvalidModuleDescriptorException extends RuntimeException {
     private static final long serialVersionUID = 4863390386809347380L;
 
     /**