diff -r 856d63ab9617 -r 43509690a898 .settings/org.eclipse.core.resources.prefs