Use known-good locale when doing jflex codegen

jflex appears to be using the default locale for a String.toUpperCase
somewhere, which causes incorrect java code to be generated in the
turkish locale.