This is a non-change.  Eclipse Git confuses me; I don't know how to
revert a file from the menu.