src/java.compiler/share/classes/javax/lang/model/element/Element.java

*** 174,183 ****
--- 174,186 ----
       * not considered to enclose subpackages.
       *
       * A {@linkplain ModuleElement#getEnclosedElements module}
       * encloses packages within it.
       *
+      * Enclosed elements may include implicitly declared {@linkplain
+      * Elements.Origin#MANDATED mandated} elements.
+      *
       * Other kinds of elements are not currently considered to enclose
       * any elements; however, that may change as this API or the
       * programming language evolves.
       *
       * @apiNote Elements of certain kinds can be isolated using