jdk/src/java.base/share/classes/java/lang/module/InvalidModuleDescriptorException.java
--- a/jdk/src/java.base/share/classes/java/lang/module/InvalidModuleDescriptorException.java Thu Feb 09 17:21:47 2017 +0000
+++ b/jdk/src/java.base/share/classes/java/lang/module/InvalidModuleDescriptorException.java Fri Feb 10 09:04:39 2017 +0000
@@ -31,6 +31,7 @@
*
* @see ModuleDescriptor#read
* @since 9
+ * @spec JPMS
*/
public class InvalidModuleDescriptorException extends RuntimeException {
private static final long serialVersionUID = 4863390386809347380L;