code: public static JSError make(CheckLevel level, DiagnosticType type, String... arguments) {
      return new JSError(null, null, -1, -1, type, level, arguments);
    }
docs: Creates a JSError with no source information and a non-default level.
  
  @param level
  @param type The DiagnosticType
  @param arguments Arguments to be incorporated into the message