<dependency>
<groupId>de.learnlib</groupId>
<artifactId>learnlib-datastructure-dt</artifactId>
<version>0.13.1</version>
</dependency>
@Grapes(
@Grab(group='de.learnlib', module='learnlib-datastructure-dt', version='0.13.1')
)