Document ANTLRErrorListener and DiagnosticErrorListener