Please forget what I just said: this is of course a new issue, and
older code didn't use Condition.wait.

Reply via email to