Delete org.eclipse.jdt.ui.prefs.svn-base