Bump org.xbib.gradle.plugin.jflex from 1.7.0 to 3.0.2 (#726)

* Bump org.xbib.gradle.plugin.jflex from 1.7.0 to 3.0.2

Bumps org.xbib.gradle.plugin.jflex from 1.7.0 to 3.0.2.

---
updated-dependencies:
- dependency-name: org.xbib.gradle.plugin.jflex
  dependency-type: direct:production
  update-type: version-update:semver-major
...

Signed-off-by: dependabot[bot] <[email protected]>

* Fix build

---------

Signed-off-by: dependabot[bot] <[email protected]>
Co-authored-by: dependabot[bot] <49699333+dependabot[bot]@users.noreply.github.com>
Co-authored-by: Cosku Acay <[email protected]>

compiler/build.gradle.kts

@@ -49,7 +49,7 @@ dependencies {
 /** Compilation */
 
 jflex {
-    encoding.set(Charsets.UTF_8.name())
+    encoding = Charsets.UTF_8.name()
 }
 
 val compileCup by tasks.registering(CompileCupTask::class)
@@ -61,7 +61,7 @@ sourceSets {
 }
 
 tasks.compileKotlin.configure {
-    dependsOn(tasks.withType<org.xbib.gradle.plugin.JFlexTask>())
+    dependsOn(tasks.withType<org.xbib.gradle.plugin.jflex.JFlexTask>())
     dependsOn(tasks.withType<CompileCupTask>())
 }
 
@@ -76,7 +76,7 @@ tasks.withType<Test>().configureEach {
 //   remove if/when Dokka fixes this issue.
 tasks.withType<org.jetbrains.dokka.gradle.DokkaTaskPartial>().configureEach {
     dependsOn(compileCup)
-    dependsOn(tasks.withType<org.xbib.gradle.plugin.JFlexTask>())
+    dependsOn(tasks.withType<org.xbib.gradle.plugin.jflex.JFlexTask>())
 }
 
 abstract class CompileCupTask : DefaultTask() {

gradle/libs.versions.toml

@@ -34,7 +34,7 @@ z3-turnkey = { module = "tools.aqua:z3-turnkey", version = "4.13.0" }
 [plugins]
 dokka = { id = "org.jetbrains.dokka", version = "1.8.20" }
 git-version = { id = "com.palantir.git-version", version = "3.0.0" }
-jflex = { id = "org.xbib.gradle.plugin.jflex", version = "1.7.0" }
+jflex = { id = "org.xbib.gradle.plugin.jflex", version = "3.0.2" }
 kotlin-jvm = { id = "org.jetbrains.kotlin.jvm", version.ref = "kotlin" }
 kotlin-multiplatform = { id = "org.jetbrains.kotlin.multiplatform", version.ref = "kotlin" }
 kotlin-serialization = { id = "org.jetbrains.kotlin.plugin.serialization", version.ref = "kotlin" }