On 07/28/2010 03:26 PM, Torsten Werner wrote:
Yes, I agree that this bug should be fixed. May you report the bug to the upstream bug tracking system, please, because you know the details better than me?
I've submitted a bug to bugs.sun.com, but it's not (yet) visible: http://bugs.sun.com/bugdatabase/view_bug.do?bug_id=6977029 -- To UNSUBSCRIBE, email to [email protected] with a subject of "unsubscribe". Trouble? Contact [email protected]

