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

@@ -56,11 +56,11 @@
      *
      * @param e the unknown element, may be {@code null}
      * @param p an additional parameter, may be {@code null}
      */
     public UnknownElementException(Element e, Object p) {
-        super("Unknown element: " + e);
+        super("Unknown element: \"" + e + "\"");
         element = e;
         this.parameter = p;
     }
 
     /**