Upgrade Java (from 17 to 25) and Gradle version (from 7.3 to 9.3.1)

Author: danijelaskov

.gitignore

@@ -12,4 +12,7 @@ logs/
 *.obj
 
 # Ignore backup files
-*.java~
+*.java~
+
+# Ignore notes, TO-DO lists, and other temporary files
+.dev/

build.gradle

@@ -6,6 +6,12 @@ plugins {
 group 'dev.askov.mjcompiler'
 version '1.0'
 
+java {
+    toolchain {
+        languageVersion.set(JavaLanguageVersion.of(25))
+    }
+}
+
 repositories {
     mavenCentral()
     flatDir {
@@ -49,5 +55,5 @@ tasks.register('genParser', JavaExec) {
 }
 
 application {
-    mainClassName = 'dev.askov.mjcompiler.MJCompiler'
+    mainClass.set('dev.askov.mjcompiler.MJCompiler')
 }

gradle/wrapper/gradle-wrapper.jar

@@ -1,5 +1,7 @@
 distributionBase=GRADLE_USER_HOME
 distributionPath=wrapper/dists
-distributionUrl=https\://services.gradle.org/distributions/gradle-7.3-bin.zip
+distributionUrl=https\://services.gradle.org/distributions/gradle-9.3.1-all.zip
+networkTimeout=10000
+validateDistributionUrl=true
 zipStoreBase=GRADLE_USER_HOME
 zipStorePath=wrapper/dists