Bug 361932: Set compiler settings to Java 1.5, enforce JDK 1.5 installed
and removed override tags for interface method implementations to make
Graphiti truly Java 1.5 compatible
diff --git a/plugins/org.eclipse.graphiti/.settings/org.eclipse.jdt.core.prefs b/plugins/org.eclipse.graphiti/.settings/org.eclipse.jdt.core.prefs
index 9a6db1b..92bf135 100644
--- a/plugins/org.eclipse.graphiti/.settings/org.eclipse.jdt.core.prefs
+++ b/plugins/org.eclipse.graphiti/.settings/org.eclipse.jdt.core.prefs
@@ -1,4 +1,4 @@
-#Fri Oct 28 12:25:05 CEST 2011

+#Wed Nov 09 14:31:36 CET 2011

 eclipse.preferences.version=1

 org.eclipse.jdt.core.builder.cleanOutputFolder=clean

 org.eclipse.jdt.core.builder.duplicateResourceTask=warning

@@ -21,7 +21,7 @@
 org.eclipse.jdt.core.compiler.codegen.inlineJsrBytecode=enabled

 org.eclipse.jdt.core.compiler.codegen.targetPlatform=1.5

 org.eclipse.jdt.core.compiler.codegen.unusedLocal=preserve

-org.eclipse.jdt.core.compiler.compliance=1.6

+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