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

*** 29,38 ****
--- 29,39 ----
   * 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;
  
      /**