org.eclipse.core.resources.prefs文件的更新