--- old/src/java.compiler/share/classes/javax/lang/model/element/Element.java	2020-07-07 19:00:46.702059332 -0700
+++ new/src/java.compiler/share/classes/javax/lang/model/element/Element.java	2020-07-07 19:00:46.366059332 -0700
@@ -137,7 +137,7 @@
      *
      * If this element represents an unnamed {@linkplain
      * PackageElement#getSimpleName package} or unnamed {@linkplain
-     * ModuleElement#getSimpleName module}, an empty name is returned.
+     * ModuleElement#getSimpleName module}, an {@linkplain Name#isEmpty() empty name} is returned.
      *
      * If it represents a {@linkplain ExecutableElement#getSimpleName
      * constructor}, the name "{@code <init>}" is returned.  If it