Added delete functionality and some hotkeys for eclipse