Fix ANTLR options.  See
http://www.eclipse.org/forums/index.php/t/631994/.