diff --git a/plugins/org.eclipse.wtp.releng.tools/.settings/org.eclipse.jdt.core.prefs b/plugins/org.eclipse.wtp.releng.tools/.settings/org.eclipse.jdt.core.prefs index 88b7d71b113e39394902c9960de35069db7c2b67..146788a97b2d2f168e4a7ba42f48aa79b46a5525 100644 --- a/plugins/org.eclipse.wtp.releng.tools/.settings/org.eclipse.jdt.core.prefs +++ b/plugins/org.eclipse.wtp.releng.tools/.settings/org.eclipse.jdt.core.prefs @@ -1,6 +1,6 @@ -#Sat Feb 24 15:04:32 EST 2007 +#Tue Jun 05 01:55:32 EDT 2007 eclipse.preferences.version=1 -org.eclipse.jdt.core.compiler.codegen.targetPlatform=1.4 +org.eclipse.jdt.core.compiler.codegen.targetPlatform=1.2 org.eclipse.jdt.core.compiler.compliance=1.4 org.eclipse.jdt.core.compiler.problem.annotationSuperInterface=warning org.eclipse.jdt.core.compiler.problem.assertIdentifier=error @@ -10,7 +10,7 @@ org.eclipse.jdt.core.compiler.problem.deprecationInDeprecatedCode=disabled org.eclipse.jdt.core.compiler.problem.deprecationWhenOverridingDeprecatedMethod=disabled org.eclipse.jdt.core.compiler.problem.discouragedReference=ignore org.eclipse.jdt.core.compiler.problem.emptyStatement=ignore -org.eclipse.jdt.core.compiler.problem.enumIdentifier=warning +org.eclipse.jdt.core.compiler.problem.enumIdentifier=error org.eclipse.jdt.core.compiler.problem.fallthroughCase=ignore org.eclipse.jdt.core.compiler.problem.fatalOptionalError=disabled org.eclipse.jdt.core.compiler.problem.fieldHiding=ignore @@ -55,4 +55,4 @@ org.eclipse.jdt.core.compiler.problem.unusedParameterWhenImplementingAbstract=di org.eclipse.jdt.core.compiler.problem.unusedParameterWhenOverridingConcrete=disabled org.eclipse.jdt.core.compiler.problem.unusedPrivateMember=warning org.eclipse.jdt.core.compiler.problem.varargsArgumentNeedCast=warning -org.eclipse.jdt.core.compiler.source=1.4 +org.eclipse.jdt.core.compiler.source=1.3