git update
	deleted:    .settings/org.eclipse.jdt.core.prefs