Some configuration files for the Eclipse IDE.