new .settings/org.eclipse.core.resource.prefs without timestamps