--- old/src/java.compiler/share/classes/javax/lang/model/element/Name.java	2020-07-07 19:00:48.806059332 -0700
+++ new/src/java.compiler/share/classes/javax/lang/model/element/Name.java	2020-07-07 19:00:48.426059332 -0700
@@ -52,6 +52,20 @@
  */
 public interface Name extends CharSequence {
     /**
+     * Returns {@code true} if this is an empty name with a length of
+     * zero; returns {@code false} otherwise.
+     * @return {@code true} for an empty name and {@code false} otherwise.
+     *
+     * @implSpec Returns the result of calling {@link
+     * CharSequence#isEmpty() CharSequence.isEmpty()}.
+     * @since 16
+     */
+    @Override
+    default boolean isEmpty() {
+        return CharSequence.super.isEmpty();
+    }
+
+    /**
      * Returns {@code true} if the argument represents the same
      * name as {@code this}, and {@code false} otherwise.
      *