java-1.5
diff --git a/plugins/org.eclipse.dltk.python.ui/.classpath b/plugins/org.eclipse.dltk.python.ui/.classpath index ce73933..64c5e31 100644 --- a/plugins/org.eclipse.dltk.python.ui/.classpath +++ b/plugins/org.eclipse.dltk.python.ui/.classpath
@@ -1,7 +1,7 @@ <?xml version="1.0" encoding="UTF-8"?> <classpath> - <classpathentry kind="src" path="src"/> - <classpathentry kind="con" path="org.eclipse.jdt.launching.JRE_CONTAINER/org.eclipse.jdt.internal.debug.ui.launcher.StandardVMType/J2SE-1.4"/> + <classpathentry kind="con" path="org.eclipse.jdt.launching.JRE_CONTAINER/org.eclipse.jdt.internal.debug.ui.launcher.StandardVMType/J2SE-1.5"/> <classpathentry kind="con" path="org.eclipse.pde.core.requiredPlugins"/> + <classpathentry kind="src" path="src"/> <classpathentry kind="output" path="bin"/> </classpath>
diff --git a/plugins/org.eclipse.dltk.python.ui/.settings/org.eclipse.jdt.core.prefs b/plugins/org.eclipse.dltk.python.ui/.settings/org.eclipse.jdt.core.prefs index a031072..c64ef9b 100644 --- a/plugins/org.eclipse.dltk.python.ui/.settings/org.eclipse.jdt.core.prefs +++ b/plugins/org.eclipse.dltk.python.ui/.settings/org.eclipse.jdt.core.prefs
@@ -1,12 +1,12 @@ -#Mon Jul 21 22:30:43 NOVST 2008 +#Tue Sep 29 17:30:24 NOVST 2009 eclipse.preferences.version=1 org.eclipse.jdt.core.compiler.codegen.inlineJsrBytecode=enabled -org.eclipse.jdt.core.compiler.codegen.targetPlatform=1.2 +org.eclipse.jdt.core.compiler.codegen.targetPlatform=1.5 org.eclipse.jdt.core.compiler.codegen.unusedLocal=preserve -org.eclipse.jdt.core.compiler.compliance=1.4 +org.eclipse.jdt.core.compiler.compliance=1.5 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=warning -org.eclipse.jdt.core.compiler.problem.enumIdentifier=warning -org.eclipse.jdt.core.compiler.source=1.3 +org.eclipse.jdt.core.compiler.problem.assertIdentifier=error +org.eclipse.jdt.core.compiler.problem.enumIdentifier=error +org.eclipse.jdt.core.compiler.source=1.5
diff --git a/plugins/org.eclipse.dltk.python.ui/META-INF/MANIFEST.MF b/plugins/org.eclipse.dltk.python.ui/META-INF/MANIFEST.MF index 521e644..a751cd3 100644 --- a/plugins/org.eclipse.dltk.python.ui/META-INF/MANIFEST.MF +++ b/plugins/org.eclipse.dltk.python.ui/META-INF/MANIFEST.MF
@@ -25,4 +25,4 @@ org.eclipse.dltk.python.internal.ui.text, org.eclipse.dltk.python.ui, org.eclipse.dltk.python.ui.text -Bundle-RequiredExecutionEnvironment: J2SE-1.4 +Bundle-RequiredExecutionEnvironment: J2SE-1.5