A java editor for gnome 3's applications menu.