docs: public void warning(String message, String sourceString,
                        int position, int startPosition, int endPosition,
                        Object info) {
      report(new AnnotationReport(Kind.WARNING, message, sourceString,
                                  position, startPosition, endPosition, info));
    }