--- old/src/java.compiler/share/classes/javax/lang/model/util/Elements.java	2019-01-07 22:32:34.928000000 -0800
+++ new/src/java.compiler/share/classes/javax/lang/model/util/Elements.java	2019-01-07 22:32:34.732000000 -0800
@@ -511,6 +511,7 @@
      * @param hidden  the second element
      * @return {@code true} if and only if the first element hides
      *          the second
+     * @jls 8.4.8 Inheritance, Overriding, and Hiding
      */
     boolean hides(Element hider, Element hidden);