working on clide-isabelle and akka microkernel stuff...