Put some more emphasis on the use of a working jflex