Update com.google.appengine.eclipse.core.prefs