java Build against system dev-java/jflex rather than the bundled one. Disabling this flag allows breaking the circular dependency when necessary.