<dependency>
<groupId>de.fosd.typechef</groupId>
<artifactId>javabdd_repackaged_2.10</artifactId>
<version>0.1</version>
</dependency>
@Grapes(
@Grab(group='de.fosd.typechef', module='javabdd_repackaged_2.10', version='0.1')
)