diff --git a/.classpath b/.classpath index c9a462de19e..a17f3dd83c4 100644 --- a/.classpath +++ b/.classpath @@ -3,16 +3,7 @@ - - - - - - - - - @@ -44,5 +35,7 @@ + + diff --git a/.settings/org.eclipse.jdt.launching.prefs b/.settings/org.eclipse.jdt.launching.prefs index 5d77195a39c..d211d326335 100644 --- a/.settings/org.eclipse.jdt.launching.prefs +++ b/.settings/org.eclipse.jdt.launching.prefs @@ -1,2 +1,2 @@ -#Wed Jan 20 17:53:12 CET 2010 eclipse.preferences.version=1 +org.eclipse.jdt.launching.PREF_STRICTLY_COMPATIBLE_JRE_NOT_AVAILABLE=warning