Eclipse git checkout (aka, revert)

This can be done via the context menu “Replace with/File in Git index” on the file in package view.