Introduce AspectJ.
Instrument the message queue.
build.properties
More instrumation.
Do verification in Scala.
Checkpoint.
Add the around aspect.
Start working on the scheduler.
...
aroundDispatch()
Instrumentation done!
Cleanup.
Cleanup.
Cleanup.
Checkpoint.
Actor interposition.
Merge github.com:vjeko/distributed_examples

Conflicts:
	README.md