public JCDiagnostic error(
                DiagnosticSource source, DiagnosticPosition pos, String key, Object... args) {
            return new JCDiagnostic(messages, ERROR, true, source, pos, qualify(ERROR, key), args);
        }