private static void reportJsniProblem(SourceInfo info,
AbstractMethodDeclaration methodDeclaration, String message,
int problemSeverity) {
// TODO: provide helpInfo for how to write JSNI methods?
HelpInfo jsniHelpInfo = null;
CompilationResult compResult = methodDeclaration.compilationResult();
// recalculate startColumn, because SourceInfo does not hold it
int startColumn = Util.searchColumnNumber(compResult
.getLineSeparatorPositions(), info.getStartLine(), info.getStartPos());
GWTProblem.recordProblem(info, startColumn, compResult, message,