Eclipse multiedit

Improved Eclipse multi-edit commands for cut, paste, navigation, and text selection.