So we've got a concurrency bug that doesn't occur under the debugger. Oh
joy! Note: Early indications are that this bug's symptoms have
disappeared with the move to Java 2. This isn't necessarily good news!