changing names: MyPlugin -> Amst4AkkaPlugin
tree printing