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