No matches were found for subject:"\[Bug 1262643\] Re\: Eclipse menus don't show up in Ubuntu 13.10"