Update PassGen/.settings/org.eclipse.jdt.core.prefs