2018-11-03 17:48:36 +01:00
|
|
|
eclipse.preferences.version=1
|
|
|
|
|
org.eclipse.jdt.core.compiler.codegen.inlineJsrBytecode=enabled
|
2021-02-18 07:26:42 +01:00
|
|
|
org.eclipse.jdt.core.compiler.codegen.targetPlatform=11
|
|
|
|
|
org.eclipse.jdt.core.compiler.compliance=11
|
2018-11-03 17:48:36 +01:00
|
|
|
org.eclipse.jdt.core.compiler.problem.assertIdentifier=error
|
2021-02-18 07:26:42 +01:00
|
|
|
org.eclipse.jdt.core.compiler.problem.enablePreviewFeatures=disabled
|
2018-11-03 17:48:36 +01:00
|
|
|
org.eclipse.jdt.core.compiler.problem.enumIdentifier=error
|
2021-02-18 07:26:42 +01:00
|
|
|
org.eclipse.jdt.core.compiler.problem.reportPreviewFeatures=warning
|
|
|
|
|
org.eclipse.jdt.core.compiler.release=enabled
|
|
|
|
|
org.eclipse.jdt.core.compiler.source=11
|
