Comment 27 for bug 1208019

UBUNTU_MENUPROXY makes Eclipse not use the global menu, right?

It works for me, but it's extra screen real-estate wasted and the HUD doesn't work.