On Sat, 1 Nov 2003, Mark Wielaard wrote: > Is this a known issue or should I open a new bug report? I couldn't find an existing PR, so I created java/12866. Thanks for the test case. Jeff