Thank you for the bug report. Do you think you could attach a test case to reproduce this error please? Do you know if it also fails with openjdk-7?
Emmanuel Bourg -- To UNSUBSCRIBE, email to [email protected] with a subject of "unsubscribe". Trouble? Contact [email protected]
