changes.mady.by.user Fred Long
Saved on Aug 11, 2008
...
To guarantee liveness and safety, the {[wait()}} method should always be called inside a while loop.
wait()