Upgrade Proguard to version that can handle JDK 25+.

launcher/pom.xml

@@ -85,7 +85,7 @@
       <plugin>
         <groupId>com.github.wvengen</groupId>
         <artifactId>proguard-maven-plugin</artifactId>
-        <version>2.5.1</version>
+        <version>2.7.0</version>
         <executions>
           <execution>
             <phase>package</phase>
@@ -96,18 +96,18 @@
           <dependency>
             <groupId>com.guardsquare</groupId>
             <artifactId>proguard-base</artifactId>
-            <version>7.2.1</version>
+            <version>${proguard.version}</version>
             <scope>runtime</scope>
           </dependency>
           <dependency>
             <groupId>com.guardsquare</groupId>
             <artifactId>proguard-core</artifactId>
-            <version>9.0.0</version>
+            <version>${proguard-core.version}</version>
             <scope>runtime</scope>
           </dependency>
         </dependencies>
         <configuration>
-          <proguardVersion>7.2.1</proguardVersion>
+          <proguardVersion>${proguard.version}</proguardVersion>
           <outputDirectory>${project.build.directory}</outputDirectory>
           <outjar>${project.build.finalName}.jar</outjar>
           <injar>${project.build.finalName}.jar</injar>

pom.xml

@@ -37,6 +37,8 @@
 
   <properties>
     <project.build.sourceEncoding>UTF-8</project.build.sourceEncoding>
+    <proguard.version>7.8.2</proguard.version>
+    <proguard-core.version>9.3.0</proguard-core.version>
   </properties>
 
   <scm>