public JCDiagnostic warning(
                DiagnosticSource source, DiagnosticPosition pos, String key, Object... args) {
            return new JCDiagnostic(messages, WARNING, false, source, pos, qualify(WARNING, key), args);
        }