Update documentation for ANTLRErrorListener

fixes #603