.IGNORE eclipse project-specific settings