I've seen that bug once but I can't find a way to reproduce it.
From the Java program source, I don't understand at this time how it can happen. If ever you have a stack trace when this bug happens, I would be pleased to read it.