editor now updatable via updateSite

[taxeditor.git] / taxeditor-navigation / .settings / org.eclipse.jdt.core.prefs

diff --git a/taxeditor-navigation/.settings/org.eclipse.jdt.core.prefs b/taxeditor-navigation/.settings/org.eclipse.jdt.core.prefs
index 5c1ec0b9a5f3b5850746b2fc4787ed63f0a7b1bd..4ab379a8ae08cdaa6661172aa3ac4e4ffb07ede0 100644 (file)
--- a/taxeditor-navigation/.settings/org.eclipse.jdt.core.prefs
+++ b/taxeditor-navigation/.settings/org.eclipse.jdt.core.prefs
@@ -1,5 +1,7 @@
-#Tue Jun 02 13:01:37 CEST 2009
-org.eclipse.jdt.core.compiler.codegen.targetPlatform=1.5
+#Tue Jun 02 18:11:30 CEST 2009
 eclipse.preferences.version=1
-org.eclipse.jdt.core.compiler.source=1.5
+org.eclipse.jdt.core.compiler.codegen.targetPlatform=1.5
 org.eclipse.jdt.core.compiler.compliance=1.5
+org.eclipse.jdt.core.compiler.problem.assertIdentifier=error
+org.eclipse.jdt.core.compiler.problem.enumIdentifier=error
+org.eclipse.jdt.core.compiler.source=1.5