update to JDK 25

Author: infeo

.idea/misc.xml

@@ -34,7 +34,7 @@
 
 	<properties>
 		<project.build.sourceEncoding>UTF-8</project.build.sourceEncoding>
-		<project.jdk.version>24</project.jdk.version>
+		<project.jdk.version>25</project.jdk.version>
 
 		<!-- runtime dependencies -->
 		<api.version>1.7.0</api.version>