<dependency> <groupId>de.learnlib</groupId> <artifactId>learnlib-counterexamples</artifactId> <version>0.9.1</version> </dependency>
<dependency org="de.learnlib" name="learnlib-counterexamples" rev="0.9.1"> <artifact name="learnlib-counterexamples" type="jar" /> </dependency>