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.pattern/.settings/org.eclipse.jdt.launching.prefs b/plugins/org.eclipse.graphiti.pattern/.settings/org.eclipse.jdt.launching.prefs
index 5e8d376..f9f32a9 100644
--- a/plugins/org.eclipse.graphiti.pattern/.settings/org.eclipse.jdt.launching.prefs
+++ b/plugins/org.eclipse.graphiti.pattern/.settings/org.eclipse.jdt.launching.prefs
@@ -1,3 +1,3 @@
-#Fri Oct 28 12:26:03 CEST 2011
+#Wed Nov 09 14:42:20 CET 2011
eclipse.preferences.version=1
-org.eclipse.jdt.launching.PREF_STRICTLY_COMPATIBLE_JRE_NOT_AVAILABLE=ignore
+org.eclipse.jdt.launching.PREF_STRICTLY_COMPATIBLE_JRE_NOT_AVAILABLE=error