compile error fixed by reverting to javacc5.0.
rename