<dependency> <groupId>de.learnlib</groupId> <artifactId>learnlib-kearns-vazirani</artifactId> <version>0.13.1</version> </dependency>
<dependency org="de.learnlib" name="learnlib-kearns-vazirani" rev="0.13.1"> <artifact name="learnlib-kearns-vazirani" type="jar" /> </dependency>