diff -r a7b268e93413 -r d9ec04dce82a .settings/org.eclipse.core.resources.prefs