diff --git a/tools/pnml-relast-flattener-fatjar-0.1.jar b/tools/pnml-relast-flattener-fatjar-0.2.jar similarity index 95% rename from tools/pnml-relast-flattener-fatjar-0.1.jar rename to tools/pnml-relast-flattener-fatjar-0.2.jar index f7e2fd81ac9da0e9859c224600f8a93df57130cb..68d3009ea4c98c949a38aa514591305953dd1f2f 100644 Binary files a/tools/pnml-relast-flattener-fatjar-0.1.jar and b/tools/pnml-relast-flattener-fatjar-0.2.jar differ