Re: Firefox and Java bug