Changes

Summary

1. replace previous workaround with a proper fix (commit: 6806586) (details)

Commit 680658606de052bcdc1a71bcf8ce188356415654 by Flo.e3 replace previous workaround with a proper fix (commit: 6806586)
	src/main/java/MultiWorld/transformers/TreeTransformer.java (diff)
	src/main/java/MultiWorld/transformers/DummyTransformAgent.java (diff)