Update to use Java 25

Author: sormuras

.bach/src/run.bach/run/Project.java

@@ -20,10 +20,10 @@ public record Project(boolean verbose, Workflow workflow) implements Builder, St
   static Project ofCurrentWorkingDirectory() {
     var verbose = Boolean.getBoolean("-Debug".substring(2));
     var folders = Folders.ofCurrentWorkingDirectory();
-    var basics = new Basics("Bach", "2024-ea");
+    var basics = new Basics("Bach", "2025-ea");
     var main =
         new Space("main")
-            .withTargetingJavaRelease(22)
+            .withTargetingJavaRelease(25)
             .withLauncher("bach=run.bach/run.bach.Main")
             .withModule(".bach/src/run.bach", ".bach/src/run.bach/module-info.java")
             .with(Space.Flag.COMPILE_RUNTIME_IMAGE);

.github/workflows/ci.yml

@@ -21,12 +21,12 @@ jobs:
         uses: oracle-actions/setup-java@v1
         with:
           website: jdk.java.net
-          release: 24
+          release: 25
       - name: 'Print various versions'
         run: |
           java @bach jar --version
           java @bach jfr --version
-          java @bach https://raw.githubusercontent.com/openjdk/jdk/refs/heads/jdk24/test/jdk/java/lang/System/Versions.java
+          java @bach https://raw.githubusercontent.com/openjdk/jdk/refs/heads/jdk25/test/jdk/java/lang/System/Versions.java
           java .bach/src/run.bach/run/demo/ToolVersionsDemo.java
       - name: 'Build Bach with Bach'
         run: java @build

.idea/misc.xml

@@ -5,10 +5,7 @@
 
 // TODO import module java.base;
 
-import java.io.*;
-import java.net.*;
-import java.nio.file.*;
-import java.util.*;
+import module java.base;
 
 @SuppressWarnings("unused")
 interface Bach {