| eclipse.preferences.version=1 |
| org.eclipse.jdt.core.compiler.codegen.inlineJsrBytecode=enabled |
| org.eclipse.jdt.core.compiler.codegen.targetPlatform=17 |
| org.eclipse.jdt.core.compiler.compliance=17 |
| org.eclipse.jdt.core.compiler.problem.assertIdentifier=error |
| org.eclipse.jdt.core.compiler.problem.enablePreviewFeatures=disabled |
| org.eclipse.jdt.core.compiler.problem.enumIdentifier=error |
| org.eclipse.jdt.core.compiler.problem.reportPreviewFeatures=warning |
| org.eclipse.jdt.core.compiler.release=enabled |
| org.eclipse.jdt.core.compiler.source=17 |
