Sharing Pydev .project files for convenient check-out.