Invalid path info: org.eclipse.jdt.ui.prefs