void warning(ErrorReporter reporter, String message) { reporter.warning(message, sourceName, lineno, charno); }