<dependency>
<groupId>io.hotmoka.testing</groupId>
<artifactId>io-hotmoka-testing</artifactId>
<version>1.4.1</version>
</dependency>
@Grapes(
@Grab(group='io.hotmoka.testing', module='io-hotmoka-testing', version='1.4.1')
)
compile