Mark,

Apologies for leaving an answer to your question below blank, I didn't catch it 
until now.

> Do you have a bug id for http://bugs.sun.com/ for this issue, because to 
> prevent from duplicate reports I tried to search it. But that search function 
> in Sun/Oracle bug database is severely broken for quite a while now.

No, I do not have a bug id for this, feel free to create a report.

Thanks again for the additional robustness in your patch.

Regards

Dennis

Reply via email to