gradle-plugins/gradle-plugin-jflex/gradle.properties