String (@NotNull FilePosition position, @NotNull String message) { message = message.trim(); while (message.startsWith(":") || message.startsWith("]") || message.startsWith(")")) { message = message.substring(1); } message = message.trim(); return message; }