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