Add Java version to settings

ultimate-pa · Oct 21, 2024 · d2ac62f · d2ac62f
1 parent d4dade8
commit d2ac62f
Showing 1 changed file with 3 additions and 0 deletions.
diff --git a/releaseScripts/eclipse_settings.epf b/releaseScripts/eclipse_settings.epf
@@ -3,6 +3,9 @@
 /instance/org.eclipse.ant.core/property.workspacedir=${workspace_loc}
 /instance/org.eclipse.egit.core/core_autoIgnoreDerivedResources=false
 /instance/org.eclipse.core.resources/encoding=UTF-8
+/instance/org.eclipse.jdt.core/org.eclipse.jdt.core.compiler.codegen.targetPlatform=21
+/instance/org.eclipse.jdt.core/org.eclipse.jdt.core.compiler.compliance=21
+/instance/org.eclipse.jdt.core/org.eclipse.jdt.core.compiler.source=21
 
 /instance/org.eclipse.jdt.core/org.eclipse.jdt.core.codeComplete.fieldPrefixes=m
 /instance/org.eclipse.jdt.core/org.eclipse.jdt.core.codeComplete.staticFieldPrefixes=s