DavePearce/Whiley — pull request #72 by zimothy (2012-03-23 06:31:26+00:00)
Title: Updated JVM actors

JVM actors are now updated to latest devel. On top of that, the following features have been added:

- Synchronous message sends to idle actors will continue to use the same thread, avoiding many unnecessary yields.
- Deadlocks will cause actor failure rather than hanging.
- Asynchronous messages that fail print out the cause of their failure.