Delete org.eclipse.vjet.eclipse.core.prefs