Re: getToolkit().getScreenInsets Ubuntu bug

[Paulo Levi]

I've just seen it was fixed in java 7.

http://bugs.sun.com/view_bug.do?bug_id=4737732

Apologies for raising false warnings.