<dependency>
<groupId>de.fosd.typechef</groupId>
<artifactId>javabdd_repackaged</artifactId>
<version>1.0b2</version>
</dependency>
@Grapes(
@Grab(group='de.fosd.typechef', module='javabdd_repackaged', version='1.0b2')
)