Eclipse project file: workspace settings not project specific settings