Minor correction of the build file.
JFlex.jar not necessary at runtime.