--- old/src/java.compiler/share/classes/javax/lang/model/util/SimpleElementVisitor9.java	2017-02-07 13:14:44.388117339 +0000
+++ new/src/java.compiler/share/classes/javax/lang/model/util/SimpleElementVisitor9.java	2017-02-07 13:14:44.265108892 +0000
@@ -71,6 +71,7 @@
  * @see SimpleElementVisitor7
  * @see SimpleElementVisitor8
  * @since 9
+ * @spec JPMS
  */
 @SupportedSourceVersion(RELEASE_9)
 public class SimpleElementVisitor9<R, P> extends SimpleElementVisitor8<R, P> {