On Sat, Jun 18, 2011 at 1:06 AM, Ricardo Veguilla <veguilla at gmail.com> wrote: > > I'll submit the bug to openjdk and see how it goes. There is already a bug about the maximized-windows/menu issue: https://bugzilla.redhat.com/show_bug.cgi?id=698295 -- Ricardo Veguilla González veguilla at gmail.com