Handy menu extensions for the Eclipse IDE