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