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

*** 56,66 ****
       *
       * @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);
          element = e;
          this.parameter = p;
      }
  
      /**
--- 56,66 ----
       *
       * @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 + "\"");
          element = e;
          this.parameter = p;
      }
  
      /**