change menu items in the jde.el