java.lang.IllegalStateException: Can't add different class with same name: groove/graph/iso/Bisimulator
Only refactoring Bisimulator solves the problem. However, when looking at the outputted class files, there is no Bisimulator class generated, so where is its duplicate? I tried all versions of refactoring, cleaning and building and the problem stays when the class is called exactly this. Is this perhaps a restricted key word? In any case, it would be great if the CoverageBuilder doesn't crash on this.