Switched to official ANTLR.