.settings/org.eclipse.jdt.ui.prefs entfernt