diff options
Diffstat (limited to 'bundles/org.eclipse.osgi/JRE-1.1.profile')
-rw-r--r-- | bundles/org.eclipse.osgi/JRE-1.1.profile | 6 |
1 files changed, 6 insertions, 0 deletions
diff --git a/bundles/org.eclipse.osgi/JRE-1.1.profile b/bundles/org.eclipse.osgi/JRE-1.1.profile index 9a8d8fd51..e65766345 100644 --- a/bundles/org.eclipse.osgi/JRE-1.1.profile +++ b/bundles/org.eclipse.osgi/JRE-1.1.profile @@ -15,3 +15,9 @@ org.osgi.framework.bootdelegation = \ org.osgi.framework.executionenvironment = \ JRE-1.1 osgi.java.profile.name = JRE-1.1 +java.class.version=45.3 +org.eclipse.jdt.core.compiler.compliance=1.1 +org.eclipse.jdt.core.compiler.source=1.1 +org.eclipse.jdt.core.compiler.codegen.targetPlatform=1.1 +org.eclipse.jdt.core.compiler.problem.assertIdentifier=ignore +org.eclipse.jdt.core.compiler.problem.enumIdentifier=ignore |