Merge pull request #2 from KeYProject/wadoon-patch-1

Update to eclipse 2024-12

Author: wadoon

pom.xml

@@ -11,12 +11,13 @@
       <version>0.7.3</version>
       </parent>
   -->
+
 	<groupId>org.key_project.key4eclipse</groupId>
 	<artifactId>parent</artifactId>
 	<version>0.1.0-SNAPSHOT</version>
 
 	<properties>
-		<tools.mdsd.dependencies.eclipse-version>2023-12</tools.mdsd.dependencies.eclipse-version>
+		<tools.mdsd.dependencies.eclipse-version>2024-12</tools.mdsd.dependencies.eclipse-version>
 		<tycho.version>4.0.4</tycho.version>
 		<tycho-javadoc.version>2.2.0</tycho-javadoc.version>
 		<javadoc.args>