add settings

        Changes to be committed:
	new file:   .settings/org.eclipse.core.resources.prefs