SuccessChanges

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)
The file was modifiedsrc/main/java/MultiWorld/transformers/DummyTransformAgent.java (diff)
The file was modifiedsrc/main/java/MultiWorld/transformers/TreeTransformer.java (diff)