>>>>> "Anthony" == Anthony Green <[EMAIL PROTECTED]> writes:
Anthony> I don't see anything obviously bad that can happen if these aren't Anthony> synchronized. What are you seeing? Actually, I think your original patch is fine. I thought I saw a race in toString but I was mistaken. BTW, when you're there, could you fix the javadoc typo in toString? "represenation" -> "representation". Thanks. Tom
