<div dir="ltr"><div>Hi Andy,</div><div class="gmail_quote"><blockquote class="gmail_quote" style="margin:0px 0px 0px 0.8ex;border-left-width:1px;border-left-style:solid;border-left-color:rgb(204,204,204);padding-left:1ex"><div dir="ltr"><div><font face="arial, sans-serif"><br></font></div><div><font face="arial, sans-serif">Absolutely right. I completely agree, but this is an important point that bears repeating. Given that Java is one of - if not the - biggest platforms in the world, I know the likelihood that I'm the first person to magically see a problem is about 0%! </font></div></div></blockquote><div><br></div><div>Well, you never know. Don't feel discouraged from bringing up ideas at the appropriate mailing lists.</div><div><br></div><div>Cheers, Thomas</div><div><br></div></div></div>