ui improve
merge /.settings/org.eclipse.core.resources.prefs