| eclipse.preferences.version=1 |
| org.eclipse.jdt.core.compiler.codegen.inlineJsrBytecode=enabled |
| org.eclipse.jdt.core.compiler.codegen.targetPlatform=13 |
| org.eclipse.jdt.core.compiler.codegen.unusedLocal=preserve |
| org.eclipse.jdt.core.compiler.compliance=13 |
| org.eclipse.jdt.core.compiler.debug.lineNumber=generate |
| org.eclipse.jdt.core.compiler.debug.localVariable=generate |
| org.eclipse.jdt.core.compiler.debug.sourceFile=generate |
| 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=13 |
