Removed some deprecated JavaCC options.