. eclipse files to save the settings