> You should check in the bug is already in the bug DB (bugs.sun.com) and > files a bug report if it's not already reported. Done, thanks for the suggestion: http://bugs.sun.com/bugdatabase/view_bug.do?bug_id=7126754 ap