Use java syntax in jflex files.