--- old/src/java.compiler/share/classes/javax/lang/model/util/ElementScanner9.java	2017-02-07 13:14:43.619064527 +0000
+++ new/src/java.compiler/share/classes/javax/lang/model/util/ElementScanner9.java	2017-02-07 13:14:43.500056355 +0000
@@ -88,6 +88,7 @@
  * @see ElementScanner7
  * @see ElementScanner8
  * @since 9
+ * @spec JPMS
  */
 @SupportedSourceVersion(RELEASE_9)
 public class ElementScanner9<R, P> extends ElementScanner8<R, P> {