src/java.compiler/share/classes/javax/lang/model/type/UnknownTypeException.java

*** 56,66 ****
       *
       * @param t the unknown type, may be {@code null}
       * @param p an additional parameter, may be {@code null}
       */
      public UnknownTypeException(TypeMirror t, Object p) {
!         super("Unknown type: " + t);
          type = t;
          this.parameter = p;
      }
  
      /**
--- 56,66 ----
       *
       * @param t the unknown type, may be {@code null}
       * @param p an additional parameter, may be {@code null}
       */
      public UnknownTypeException(TypeMirror t, Object p) {
!         super("Unknown type: \"" + t + "\"");
          type = t;
          this.parameter = p;
      }
  
      /**