Submit Eclipse preferences files.  Towards #4.