private GWTProblem(char[] originatingFileName, int startPosition,
int endPosition, int line, int column, String message, HelpInfo helpInfo,
int problemSeverity) {
// Create a {@link DefaultProblem} instance to do all the formatting and
// handling of problemSeverity
super(new DefaultProblem(originatingFileName, message,
IProblem.ExternalProblemNotFixable, null, problemSeverity,
startPosition, endPosition, line, column));
this.helpInfo = helpInfo;
}