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

@@ -40,20 +40,26 @@
 
     /**
      * Returns the fully qualified name of this module.  For an
      * {@linkplain #isUnnamed() unnamed module}, an empty name is returned.
      *
+     * @apiNote The simple name of a module and the qualified name of
+     * a module are equal.
+     *
      * @return the fully qualified name of this module, or an
      * empty name if this is an unnamed module
      */
     @Override
     Name getQualifiedName();
 
     /**
      * Returns the simple name of this module.  For an {@linkplain
      * #isUnnamed() unnamed module}, an empty name is returned.
      *
+     * @apiNote The simple name of a module and the qualified name of
+     * a module are equal.
+     *
      * @return the simple name of this module or an empty name if
      * this is an unnamed module
      */
     @Override
     Name getSimpleName();