diff --git a/tree.txt b/tree.txt
deleted file mode 100644
index 2341099c5..000000000
--- a/tree.txt
+++ /dev/null
@@ -1,1430 +0,0 @@
-[INFO] Scanning for projects...
-[WARNING] 
-[WARNING] Some problems were encountered while building the effective model for io.hotmoka:io-hotmoka-whitelisting-api:jar:1.5.0
-[WARNING] 'version' contains an expression but should be a constant. @ io.hotmoka:io-hotmoka-whitelisting-api:${hotmoka.version}, /home/spoto/Gits/hotmoka/io-hotmoka-whitelisting-api/pom.xml, line 7, column 12
-[WARNING] 
-[WARNING] Some problems were encountered while building the effective model for io.hotmoka:io-hotmoka-whitelisting:jar:1.5.0
-[WARNING] 'version' contains an expression but should be a constant. @ io.hotmoka:io-hotmoka-whitelisting:${hotmoka.version}, /home/spoto/Gits/hotmoka/io-hotmoka-whitelisting/pom.xml, line 8, column 12
-[WARNING] 
-[WARNING] Some problems were encountered while building the effective model for io.hotmoka:io-hotmoka-verification-api:jar:1.5.0
-[WARNING] 'version' contains an expression but should be a constant. @ io.hotmoka:io-hotmoka-verification-api:${hotmoka.version}, /home/spoto/Gits/hotmoka/io-hotmoka-verification-api/pom.xml, line 8, column 12
-[WARNING] 
-[WARNING] Some problems were encountered while building the effective model for io.hotmoka:io-hotmoka-verification:jar:1.5.0
-[WARNING] 'version' contains an expression but should be a constant. @ io.hotmoka:io-hotmoka-verification:${hotmoka.version}, /home/spoto/Gits/hotmoka/io-hotmoka-verification/pom.xml, line 8, column 12
-[WARNING] 
-[WARNING] Some problems were encountered while building the effective model for io.hotmoka:io-hotmoka-instrumentation-api:jar:1.5.0
-[WARNING] 'version' contains an expression but should be a constant. @ io.hotmoka:io-hotmoka-instrumentation-api:${hotmoka.version}, /home/spoto/Gits/hotmoka/io-hotmoka-instrumentation-api/pom.xml, line 8, column 12
-[WARNING] 
-[WARNING] Some problems were encountered while building the effective model for io.hotmoka:io-hotmoka-instrumentation:jar:1.5.0
-[WARNING] 'version' contains an expression but should be a constant. @ io.hotmoka:io-hotmoka-instrumentation:${hotmoka.version}, /home/spoto/Gits/hotmoka/io-hotmoka-instrumentation/pom.xml, line 8, column 12
-[WARNING] 
-[WARNING] Some problems were encountered while building the effective model for io.hotmoka:io-hotmoka-node-api:jar:1.5.0
-[WARNING] 'version' contains an expression but should be a constant. @ io.hotmoka:io-hotmoka-node-api:${hotmoka.version}, /home/spoto/Gits/hotmoka/io-hotmoka-node-api/pom.xml, line 8, column 12
-[WARNING] 
-[WARNING] Some problems were encountered while building the effective model for io.hotmoka:io-hotmoka-node:jar:1.5.0
-[WARNING] 'version' contains an expression but should be a constant. @ io.hotmoka:io-hotmoka-node:${hotmoka.version}, /home/spoto/Gits/hotmoka/io-hotmoka-node/pom.xml, line 8, column 12
-[WARNING] 
-[WARNING] Some problems were encountered while building the effective model for io.hotmoka:io-hotmoka-node-local-api:jar:1.5.0
-[WARNING] 'version' contains an expression but should be a constant. @ io.hotmoka:io-hotmoka-node-local-api:${hotmoka.version}, /home/spoto/Gits/hotmoka/io-hotmoka-node-local-api/pom.xml, line 7, column 12
-[WARNING] 
-[WARNING] Some problems were encountered while building the effective model for io.hotmoka:io-hotmoka-node-local:jar:1.5.0
-[WARNING] 'version' contains an expression but should be a constant. @ io.hotmoka:io-hotmoka-node-local:${hotmoka.version}, /home/spoto/Gits/hotmoka/io-hotmoka-node-local/pom.xml, line 8, column 12
-[WARNING] 
-[WARNING] Some problems were encountered while building the effective model for io.hotmoka:io-hotmoka-helpers-api:jar:1.5.0
-[WARNING] 'version' contains an expression but should be a constant. @ io.hotmoka:io-hotmoka-helpers-api:${hotmoka.version}, /home/spoto/Gits/hotmoka/io-hotmoka-helpers-api/pom.xml, line 8, column 12
-[WARNING] 
-[WARNING] Some problems were encountered while building the effective model for io.hotmoka:io-hotmoka-helpers:jar:1.5.0
-[WARNING] 'version' contains an expression but should be a constant. @ io.hotmoka:io-hotmoka-helpers:${hotmoka.version}, /home/spoto/Gits/hotmoka/io-hotmoka-helpers/pom.xml, line 8, column 12
-[WARNING] 
-[WARNING] Some problems were encountered while building the effective model for io.hotmoka:io-hotmoka-node-service-api:jar:1.5.0
-[WARNING] 'version' contains an expression but should be a constant. @ io.hotmoka:io-hotmoka-node-service-api:${hotmoka.version}, /home/spoto/Gits/hotmoka/io-hotmoka-node-service-api/pom.xml, line 17, column 12
-[WARNING] 
-[WARNING] Some problems were encountered while building the effective model for io.hotmoka:io-hotmoka-node-service:jar:1.5.0
-[WARNING] 'version' contains an expression but should be a constant. @ io.hotmoka:io-hotmoka-node-service:${hotmoka.version}, /home/spoto/Gits/hotmoka/io-hotmoka-node-service/pom.xml, line 10, column 12
-[WARNING] 
-[WARNING] Some problems were encountered while building the effective model for io.hotmoka:io-hotmoka-node-remote-api:jar:1.5.0
-[WARNING] 'version' contains an expression but should be a constant. @ io.hotmoka:io-hotmoka-node-remote-api:${hotmoka.version}, /home/spoto/Gits/hotmoka/io-hotmoka-node-remote-api/pom.xml, line 17, column 12
-[WARNING] 
-[WARNING] Some problems were encountered while building the effective model for io.hotmoka:io-hotmoka-node-remote:jar:1.5.0
-[WARNING] 'version' contains an expression but should be a constant. @ io.hotmoka:io-hotmoka-node-remote:${hotmoka.version}, /home/spoto/Gits/hotmoka/io-hotmoka-node-remote/pom.xml, line 17, column 12
-[WARNING] 
-[WARNING] Some problems were encountered while building the effective model for io.hotmoka:io-hotmoka-patricia-api:jar:1.5.0
-[WARNING] 'version' contains an expression but should be a constant. @ io.hotmoka:io-hotmoka-patricia-api:${hotmoka.version}, /home/spoto/Gits/hotmoka/io-hotmoka-patricia-api/pom.xml, line 8, column 12
-[WARNING] 
-[WARNING] Some problems were encountered while building the effective model for io.hotmoka:io-hotmoka-patricia:jar:1.5.0
-[WARNING] 'version' contains an expression but should be a constant. @ io.hotmoka:io-hotmoka-patricia:${hotmoka.version}, /home/spoto/Gits/hotmoka/io-hotmoka-patricia/pom.xml, line 8, column 12
-[WARNING] 
-[WARNING] Some problems were encountered while building the effective model for io.hotmoka:io-hotmoka-moka:jar:1.5.0
-[WARNING] 'version' contains an expression but should be a constant. @ io.hotmoka:io-hotmoka-moka:${hotmoka.version}, /home/spoto/Gits/hotmoka/io-hotmoka-moka/pom.xml, line 8, column 12
-[WARNING] 
-[WARNING] Some problems were encountered while building the effective model for io.hotmoka:io-hotmoka-node-disk-api:jar:1.5.0
-[WARNING] 'version' contains an expression but should be a constant. @ io.hotmoka:io-hotmoka-node-disk-api:${hotmoka.version}, /home/spoto/Gits/hotmoka/io-hotmoka-node-disk-api/pom.xml, line 7, column 12
-[WARNING] 
-[WARNING] Some problems were encountered while building the effective model for io.hotmoka:io-hotmoka-node-disk:jar:1.5.0
-[WARNING] 'version' contains an expression but should be a constant. @ io.hotmoka:io-hotmoka-node-disk:${hotmoka.version}, /home/spoto/Gits/hotmoka/io-hotmoka-node-disk/pom.xml, line 8, column 12
-[WARNING] 
-[WARNING] Some problems were encountered while building the effective model for io.hotmoka:io-hotmoka-node-tendermint-api:jar:1.5.0
-[WARNING] 'version' contains an expression but should be a constant. @ io.hotmoka:io-hotmoka-node-tendermint-api:${hotmoka.version}, /home/spoto/Gits/hotmoka/io-hotmoka-node-tendermint-api/pom.xml, line 7, column 12
-[WARNING] 
-[WARNING] Some problems were encountered while building the effective model for io.hotmoka:io-hotmoka-node-tendermint-abci:jar:1.5.0
-[WARNING] 'version' contains an expression but should be a constant. @ io.hotmoka:io-hotmoka-node-tendermint-abci:${hotmoka.version}, /home/spoto/Gits/hotmoka/io-hotmoka-node-tendermint-abci/pom.xml, line 12, column 12
-[WARNING] 
-[WARNING] Some problems were encountered while building the effective model for io.hotmoka:io-hotmoka-node-tendermint:jar:1.5.0
-[WARNING] 'version' contains an expression but should be a constant. @ io.hotmoka:io-hotmoka-node-tendermint:${hotmoka.version}, /home/spoto/Gits/hotmoka/io-hotmoka-node-tendermint/pom.xml, line 8, column 12
-[WARNING] 
-[WARNING] Some problems were encountered while building the effective model for io.hotmoka:io-hotmoka-node-messages-api:jar:1.5.0
-[WARNING] 'version' contains an expression but should be a constant. @ io.hotmoka:io-hotmoka-node-messages-api:${hotmoka.version}, /home/spoto/Gits/hotmoka/io-hotmoka-node-messages-api/pom.xml, line 8, column 12
-[WARNING] 
-[WARNING] Some problems were encountered while building the effective model for io.hotmoka:io-hotmoka-node-messages:jar:1.5.0
-[WARNING] 'version' contains an expression but should be a constant. @ io.hotmoka:io-hotmoka-node-messages:${hotmoka.version}, /home/spoto/Gits/hotmoka/io-hotmoka-node-messages/pom.xml, line 8, column 12
-[WARNING] 
-[WARNING] Some problems were encountered while building the effective model for io.hotmoka:io-hotmoka-examples:jar:1.5.0
-[WARNING] 'version' contains an expression but should be a constant. @ io.hotmoka:io-hotmoka-examples:${hotmoka.version}, /home/spoto/Gits/hotmoka/io-hotmoka-examples/pom.xml, line 8, column 12
-[WARNING] 'build.plugins.plugin.version' for org.apache.maven.plugins:maven-jar-plugin is missing. @ io.hotmoka:io-hotmoka-examples:${hotmoka.version}, /home/spoto/Gits/hotmoka/io-hotmoka-examples/pom.xml, line 64, column 15
-[WARNING] 
-[WARNING] Some problems were encountered while building the effective model for io.hotmoka:io-hotmoka-tests:jar:1.5.0
-[WARNING] 'version' contains an expression but should be a constant. @ io.hotmoka:io-hotmoka-tests:${hotmoka.version}, /home/spoto/Gits/hotmoka/io-hotmoka-tests/pom.xml, line 8, column 12
-[WARNING] 
-[WARNING] It is highly recommended to fix these problems because they threaten the stability of your build.
-[WARNING] 
-[WARNING] For this reason, future Maven versions might no longer support building such malformed projects.
-[WARNING] 
-[INFO] ------------------------------------------------------------------------
-[INFO] Reactor Build Order:
-[INFO] 
-[INFO] Hotmoka                                                            [pom]
-[INFO] io-hotmoka-whitelisting-api                                        [jar]
-[INFO] io-hotmoka-whitelisting                                            [jar]
-[INFO] io-hotmoka-verification-api                                        [jar]
-[INFO] io-hotmoka-verification                                            [jar]
-[INFO] io-hotmoka-instrumentation-api                                     [jar]
-[INFO] io-hotmoka-instrumentation                                         [jar]
-[INFO] io-hotmoka-node-api                                                [jar]
-[INFO] io-hotmoka-node                                                    [jar]
-[INFO] io-hotmoka-node-local-api                                          [jar]
-[INFO] io-hotmoka-patricia-api                                            [jar]
-[INFO] io-hotmoka-patricia                                                [jar]
-[INFO] io-hotmoka-node-local                                              [jar]
-[INFO] io-hotmoka-helpers-api                                             [jar]
-[INFO] io-hotmoka-helpers                                                 [jar]
-[INFO] io-hotmoka-node-service-api                                        [jar]
-[INFO] io-hotmoka-node-messages-api                                       [jar]
-[INFO] io-hotmoka-node-messages                                           [jar]
-[INFO] io-hotmoka-node-service                                            [jar]
-[INFO] io-hotmoka-node-remote-api                                         [jar]
-[INFO] io-hotmoka-node-remote                                             [jar]
-[INFO] io-hotmoka-node-tendermint-api                                     [jar]
-[INFO] io-hotmoka-node-tendermint-abci                                    [jar]
-[INFO] io-hotmoka-node-tendermint                                         [jar]
-[INFO] io-hotmoka-node-disk-api                                           [jar]
-[INFO] io-hotmoka-node-disk                                               [jar]
-[INFO] io-hotmoka-moka                                                    [jar]
-[INFO] io-hotmoka-examples                                                [jar]
-[INFO] io-hotmoka-tests                                                   [jar]
-[INFO] 
-[INFO] -------------------------< io.hotmoka:hotmoka >-------------------------
-[INFO] Building Hotmoka parent                                           [1/29]
-[INFO] --------------------------------[ pom ]---------------------------------
-[INFO] 
-[INFO] --- maven-dependency-plugin:2.8:tree (default-cli) @ hotmoka ---
-[INFO] io.hotmoka:hotmoka:pom:parent
-[INFO] +- org.junit.jupiter:junit-jupiter-engine:jar:5.9.2:test
-[INFO] |  +- org.junit.platform:junit-platform-engine:jar:1.9.2:test
-[INFO] |  |  +- org.opentest4j:opentest4j:jar:1.2.0:test
-[INFO] |  |  \- org.junit.platform:junit-platform-commons:jar:1.9.2:test
-[INFO] |  +- org.junit.jupiter:junit-jupiter-api:jar:5.9.2:test
-[INFO] |  \- org.apiguardian:apiguardian-api:jar:1.1.2:test
-[INFO] +- org.junit.jupiter:junit-jupiter:jar:5.9.2:test
-[INFO] |  \- org.junit.jupiter:junit-jupiter-params:jar:5.9.2:test
-[INFO] +- org.mockito:mockito-core:jar:5.3.0:test
-[INFO] |  +- net.bytebuddy:byte-buddy:jar:1.14.4:test
-[INFO] |  +- net.bytebuddy:byte-buddy-agent:jar:1.14.4:test
-[INFO] |  \- org.objenesis:objenesis:jar:3.3:test
-[INFO] \- io.hotmoka.testing:io-hotmoka-testing:jar:1.4.1:test
-[INFO] 
-[INFO] ---------------< io.hotmoka:io-hotmoka-whitelisting-api >---------------
-[INFO] Building io-hotmoka-whitelisting-api 1.5.0                        [2/29]
-[INFO] --------------------------------[ jar ]---------------------------------
-[INFO] 
-[INFO] --- maven-dependency-plugin:2.8:tree (default-cli) @ io-hotmoka-whitelisting-api ---
-[INFO] io.hotmoka:io-hotmoka-whitelisting-api:jar:1.5.0
-[INFO] +- org.junit.jupiter:junit-jupiter-engine:jar:5.9.2:test
-[INFO] |  +- org.junit.platform:junit-platform-engine:jar:1.9.2:test
-[INFO] |  |  +- org.opentest4j:opentest4j:jar:1.2.0:test
-[INFO] |  |  \- org.junit.platform:junit-platform-commons:jar:1.9.2:test
-[INFO] |  +- org.junit.jupiter:junit-jupiter-api:jar:5.9.2:test
-[INFO] |  \- org.apiguardian:apiguardian-api:jar:1.1.2:test
-[INFO] +- org.junit.jupiter:junit-jupiter:jar:5.9.2:test
-[INFO] |  \- org.junit.jupiter:junit-jupiter-params:jar:5.9.2:test
-[INFO] +- org.mockito:mockito-core:jar:5.3.0:test
-[INFO] |  +- net.bytebuddy:byte-buddy:jar:1.14.4:test
-[INFO] |  +- net.bytebuddy:byte-buddy-agent:jar:1.14.4:test
-[INFO] |  \- org.objenesis:objenesis:jar:3.3:test
-[INFO] \- io.hotmoka.testing:io-hotmoka-testing:jar:1.4.1:test
-[INFO] 
-[INFO] -----------------< io.hotmoka:io-hotmoka-whitelisting >-----------------
-[INFO] Building io-hotmoka-whitelisting 1.5.0                            [3/29]
-[INFO] --------------------------------[ jar ]---------------------------------
-[INFO] 
-[INFO] --- maven-dependency-plugin:2.8:tree (default-cli) @ io-hotmoka-whitelisting ---
-[INFO] io.hotmoka:io-hotmoka-whitelisting:jar:1.5.0
-[INFO] +- io.hotmoka:io-hotmoka-whitelisting-api:jar:1.5.0:compile
-[INFO] +- org.junit.jupiter:junit-jupiter-engine:jar:5.9.2:test
-[INFO] |  +- org.junit.platform:junit-platform-engine:jar:1.9.2:test
-[INFO] |  |  +- org.opentest4j:opentest4j:jar:1.2.0:test
-[INFO] |  |  \- org.junit.platform:junit-platform-commons:jar:1.9.2:test
-[INFO] |  +- org.junit.jupiter:junit-jupiter-api:jar:5.9.2:test
-[INFO] |  \- org.apiguardian:apiguardian-api:jar:1.1.2:test
-[INFO] +- org.junit.jupiter:junit-jupiter:jar:5.9.2:test
-[INFO] |  \- org.junit.jupiter:junit-jupiter-params:jar:5.9.2:test
-[INFO] +- org.mockito:mockito-core:jar:5.3.0:test
-[INFO] |  +- net.bytebuddy:byte-buddy:jar:1.14.4:test
-[INFO] |  +- net.bytebuddy:byte-buddy-agent:jar:1.14.4:test
-[INFO] |  \- org.objenesis:objenesis:jar:3.3:test
-[INFO] \- io.hotmoka.testing:io-hotmoka-testing:jar:1.4.1:test
-[INFO] 
-[INFO] ---------------< io.hotmoka:io-hotmoka-verification-api >---------------
-[INFO] Building io-hotmoka-verification-api 1.5.0                        [4/29]
-[INFO] --------------------------------[ jar ]---------------------------------
-[INFO] 
-[INFO] --- maven-dependency-plugin:2.8:tree (default-cli) @ io-hotmoka-verification-api ---
-[INFO] io.hotmoka:io-hotmoka-verification-api:jar:1.5.0
-[INFO] +- io.hotmoka:io-hotmoka-whitelisting-api:jar:1.5.0:compile
-[INFO] +- org.apache.bcel:bcel:jar:6.7.0:compile
-[INFO] |  \- org.apache.commons:commons-lang3:jar:3.12.0:compile
-[INFO] +- org.junit.jupiter:junit-jupiter-engine:jar:5.9.2:test
-[INFO] |  +- org.junit.platform:junit-platform-engine:jar:1.9.2:test
-[INFO] |  |  +- org.opentest4j:opentest4j:jar:1.2.0:test
-[INFO] |  |  \- org.junit.platform:junit-platform-commons:jar:1.9.2:test
-[INFO] |  +- org.junit.jupiter:junit-jupiter-api:jar:5.9.2:test
-[INFO] |  \- org.apiguardian:apiguardian-api:jar:1.1.2:test
-[INFO] +- org.junit.jupiter:junit-jupiter:jar:5.9.2:test
-[INFO] |  \- org.junit.jupiter:junit-jupiter-params:jar:5.9.2:test
-[INFO] +- org.mockito:mockito-core:jar:5.3.0:test
-[INFO] |  +- net.bytebuddy:byte-buddy:jar:1.14.4:test
-[INFO] |  +- net.bytebuddy:byte-buddy-agent:jar:1.14.4:test
-[INFO] |  \- org.objenesis:objenesis:jar:3.3:test
-[INFO] \- io.hotmoka.testing:io-hotmoka-testing:jar:1.4.1:test
-[INFO] 
-[INFO] -----------------< io.hotmoka:io-hotmoka-verification >-----------------
-[INFO] Building io-hotmoka-verification 1.5.0                            [5/29]
-[INFO] --------------------------------[ jar ]---------------------------------
-[INFO] 
-[INFO] --- maven-dependency-plugin:2.8:tree (default-cli) @ io-hotmoka-verification ---
-[INFO] io.hotmoka:io-hotmoka-verification:jar:1.5.0
-[INFO] +- io.hotmoka:io-hotmoka-verification-api:jar:1.5.0:compile
-[INFO] |  +- io.hotmoka:io-hotmoka-whitelisting-api:jar:1.5.0:compile
-[INFO] |  \- org.apache.bcel:bcel:jar:6.7.0:compile
-[INFO] |     \- org.apache.commons:commons-lang3:jar:3.12.0:compile
-[INFO] +- io.hotmoka:io-takamaka-code-constants:jar:1.3.0:compile
-[INFO] +- io.hotmoka:io-hotmoka-whitelisting:jar:1.5.0:compile
-[INFO] +- io.hotmoka.exceptions:io-hotmoka-exceptions:jar:1.4.1:compile
-[INFO] +- org.jboss.shrinkwrap.resolver:shrinkwrap-resolver-api-maven:jar:3.3.0:test
-[INFO] |  +- org.jboss.shrinkwrap.resolver:shrinkwrap-resolver-api:jar:3.3.0:test
-[INFO] |  \- org.apache.maven:maven-model:jar:3.9.3:test
-[INFO] +- org.jboss.shrinkwrap.resolver:shrinkwrap-resolver-impl-maven:jar:3.3.0:test
-[INFO] |  +- org.jboss.shrinkwrap.resolver:shrinkwrap-resolver-spi-maven:jar:3.3.0:test
-[INFO] |  |  \- org.jboss.shrinkwrap.resolver:shrinkwrap-resolver-spi:jar:3.3.0:test
-[INFO] |  +- eu.maveniverse.maven.mima:context:jar:2.3.2:test
-[INFO] |  +- eu.maveniverse.maven.mima.runtime:embedded-maven:jar:2.3.2:test
-[INFO] |  +- eu.maveniverse.maven.mima.runtime:standalone-static:jar:2.3.2:test
-[INFO] |  |  +- eu.maveniverse.maven.mima.runtime:standalone-shared:jar:2.3.2:test
-[INFO] |  |  +- org.apache.maven.resolver:maven-resolver-named-locks:jar:1.9.13:test
-[INFO] |  |  \- commons-codec:commons-codec:jar:1.16.0:test
-[INFO] |  +- org.codehaus.plexus:plexus-classworlds:jar:2.7.0:test
-[INFO] |  +- org.codehaus.plexus:plexus-component-annotations:jar:2.1.0:test
-[INFO] |  +- org.eclipse.sisu:org.eclipse.sisu.plexus:jar:0.3.5:test
-[INFO] |  |  +- javax.annotation:javax.annotation-api:jar:1.2:test
-[INFO] |  |  \- org.eclipse.sisu:org.eclipse.sisu.inject:jar:0.3.5:test
-[INFO] |  +- com.google.inject:guice:jar:5.1.0:test
-[INFO] |  |  +- javax.inject:javax.inject:jar:1:test
-[INFO] |  |  \- aopalliance:aopalliance:jar:1.0:test
-[INFO] |  +- com.google.guava:guava:jar:31.1-jre:test
-[INFO] |  +- com.google.guava:failureaccess:jar:1.0.1:test
-[INFO] |  +- org.apache.maven:maven-resolver-provider:jar:3.9.3:test
-[INFO] |  +- org.apache.maven:maven-model-builder:jar:3.9.3:test
-[INFO] |  |  +- org.apache.maven:maven-artifact:jar:3.9.3:test
-[INFO] |  |  \- org.apache.maven:maven-builder-support:jar:3.9.3:test
-[INFO] |  +- org.apache.maven:maven-repository-metadata:jar:3.9.3:test
-[INFO] |  +- org.apache.maven:maven-settings:jar:3.9.3:test
-[INFO] |  +- org.apache.maven:maven-settings-builder:jar:3.9.3:test
-[INFO] |  +- org.apache.maven.resolver:maven-resolver-api:jar:1.9.13:test
-[INFO] |  +- org.apache.maven.resolver:maven-resolver-impl:jar:1.9.13:test
-[INFO] |  |  \- org.slf4j:slf4j-api:jar:1.7.36:test
-[INFO] |  +- org.apache.maven.resolver:maven-resolver-spi:jar:1.9.13:test
-[INFO] |  +- org.apache.maven.resolver:maven-resolver-util:jar:1.9.13:test
-[INFO] |  +- org.apache.maven.resolver:maven-resolver-connector-basic:jar:1.9.13:test
-[INFO] |  +- org.apache.maven.resolver:maven-resolver-transport-file:jar:1.9.13:test
-[INFO] |  +- org.apache.maven.resolver:maven-resolver-transport-http:jar:1.9.13:test
-[INFO] |  |  +- org.apache.httpcomponents:httpclient:jar:4.5.14:test
-[INFO] |  |  +- org.apache.httpcomponents:httpcore:jar:4.4.16:test
-[INFO] |  |  \- org.slf4j:jcl-over-slf4j:jar:1.7.36:test
-[INFO] |  +- org.codehaus.plexus:plexus-interpolation:jar:1.26:test
-[INFO] |  +- org.codehaus.plexus:plexus-utils:jar:3.5.1:test
-[INFO] |  \- org.codehaus.plexus:plexus-sec-dispatcher:jar:2.0:test
-[INFO] |     \- org.codehaus.plexus:plexus-cipher:jar:2.0:test
-[INFO] +- org.junit.jupiter:junit-jupiter-engine:jar:5.9.2:test
-[INFO] |  +- org.junit.platform:junit-platform-engine:jar:1.9.2:test
-[INFO] |  |  +- org.opentest4j:opentest4j:jar:1.2.0:test
-[INFO] |  |  \- org.junit.platform:junit-platform-commons:jar:1.9.2:test
-[INFO] |  +- org.junit.jupiter:junit-jupiter-api:jar:5.9.2:test
-[INFO] |  \- org.apiguardian:apiguardian-api:jar:1.1.2:test
-[INFO] +- org.junit.jupiter:junit-jupiter:jar:5.9.2:test
-[INFO] |  \- org.junit.jupiter:junit-jupiter-params:jar:5.9.2:test
-[INFO] +- org.mockito:mockito-core:jar:5.3.0:test
-[INFO] |  +- net.bytebuddy:byte-buddy:jar:1.14.4:test
-[INFO] |  +- net.bytebuddy:byte-buddy-agent:jar:1.14.4:test
-[INFO] |  \- org.objenesis:objenesis:jar:3.3:test
-[INFO] \- io.hotmoka.testing:io-hotmoka-testing:jar:1.4.1:test
-[INFO] 
-[INFO] -------------< io.hotmoka:io-hotmoka-instrumentation-api >--------------
-[INFO] Building io-hotmoka-instrumentation-api 1.5.0                     [6/29]
-[INFO] --------------------------------[ jar ]---------------------------------
-[INFO] 
-[INFO] --- maven-dependency-plugin:2.8:tree (default-cli) @ io-hotmoka-instrumentation-api ---
-[INFO] io.hotmoka:io-hotmoka-instrumentation-api:jar:1.5.0
-[INFO] +- io.hotmoka:io-hotmoka-verification-api:jar:1.5.0:compile
-[INFO] |  +- io.hotmoka:io-hotmoka-whitelisting-api:jar:1.5.0:compile
-[INFO] |  \- org.apache.bcel:bcel:jar:6.7.0:compile
-[INFO] |     \- org.apache.commons:commons-lang3:jar:3.12.0:compile
-[INFO] +- it.univr.bcel:it-univr-bcel:jar:1.2.1:compile
-[INFO] +- org.junit.jupiter:junit-jupiter-engine:jar:5.9.2:test
-[INFO] |  +- org.junit.platform:junit-platform-engine:jar:1.9.2:test
-[INFO] |  |  +- org.opentest4j:opentest4j:jar:1.2.0:test
-[INFO] |  |  \- org.junit.platform:junit-platform-commons:jar:1.9.2:test
-[INFO] |  +- org.junit.jupiter:junit-jupiter-api:jar:5.9.2:test
-[INFO] |  \- org.apiguardian:apiguardian-api:jar:1.1.2:test
-[INFO] +- org.junit.jupiter:junit-jupiter:jar:5.9.2:test
-[INFO] |  \- org.junit.jupiter:junit-jupiter-params:jar:5.9.2:test
-[INFO] +- org.mockito:mockito-core:jar:5.3.0:test
-[INFO] |  +- net.bytebuddy:byte-buddy:jar:1.14.4:test
-[INFO] |  +- net.bytebuddy:byte-buddy-agent:jar:1.14.4:test
-[INFO] |  \- org.objenesis:objenesis:jar:3.3:test
-[INFO] \- io.hotmoka.testing:io-hotmoka-testing:jar:1.4.1:test
-[INFO] 
-[INFO] ---------------< io.hotmoka:io-hotmoka-instrumentation >----------------
-[INFO] Building io-hotmoka-instrumentation 1.5.0                         [7/29]
-[INFO] --------------------------------[ jar ]---------------------------------
-[INFO] 
-[INFO] --- maven-dependency-plugin:2.8:tree (default-cli) @ io-hotmoka-instrumentation ---
-[INFO] io.hotmoka:io-hotmoka-instrumentation:jar:1.5.0
-[INFO] +- io.hotmoka:io-hotmoka-instrumentation-api:jar:1.5.0:compile
-[INFO] |  \- io.hotmoka:io-hotmoka-verification-api:jar:1.5.0:compile
-[INFO] +- io.hotmoka:io-takamaka-code-constants:jar:1.3.0:compile
-[INFO] +- io.hotmoka:io-hotmoka-whitelisting:jar:1.5.0:compile
-[INFO] |  \- io.hotmoka:io-hotmoka-whitelisting-api:jar:1.5.0:compile
-[INFO] +- io.hotmoka:io-hotmoka-verification:jar:1.5.0:compile
-[INFO] +- io.hotmoka.exceptions:io-hotmoka-exceptions:jar:1.4.1:compile
-[INFO] +- it.univr.bcel:it-univr-bcel:jar:1.2.1:compile
-[INFO] |  \- org.apache.bcel:bcel:jar:6.7.0:compile
-[INFO] |     \- org.apache.commons:commons-lang3:jar:3.12.0:compile
-[INFO] +- org.jboss.shrinkwrap.resolver:shrinkwrap-resolver-api-maven:jar:3.3.0:test
-[INFO] |  +- org.jboss.shrinkwrap.resolver:shrinkwrap-resolver-api:jar:3.3.0:test
-[INFO] |  \- org.apache.maven:maven-model:jar:3.9.3:test
-[INFO] +- org.jboss.shrinkwrap.resolver:shrinkwrap-resolver-impl-maven:jar:3.3.0:test
-[INFO] |  +- org.jboss.shrinkwrap.resolver:shrinkwrap-resolver-spi-maven:jar:3.3.0:test
-[INFO] |  |  \- org.jboss.shrinkwrap.resolver:shrinkwrap-resolver-spi:jar:3.3.0:test
-[INFO] |  +- eu.maveniverse.maven.mima:context:jar:2.3.2:test
-[INFO] |  +- eu.maveniverse.maven.mima.runtime:embedded-maven:jar:2.3.2:test
-[INFO] |  +- eu.maveniverse.maven.mima.runtime:standalone-static:jar:2.3.2:test
-[INFO] |  |  +- eu.maveniverse.maven.mima.runtime:standalone-shared:jar:2.3.2:test
-[INFO] |  |  +- org.apache.maven.resolver:maven-resolver-named-locks:jar:1.9.13:test
-[INFO] |  |  \- commons-codec:commons-codec:jar:1.16.0:test
-[INFO] |  +- org.codehaus.plexus:plexus-classworlds:jar:2.7.0:test
-[INFO] |  +- org.codehaus.plexus:plexus-component-annotations:jar:2.1.0:test
-[INFO] |  +- org.eclipse.sisu:org.eclipse.sisu.plexus:jar:0.3.5:test
-[INFO] |  |  +- javax.annotation:javax.annotation-api:jar:1.2:test
-[INFO] |  |  \- org.eclipse.sisu:org.eclipse.sisu.inject:jar:0.3.5:test
-[INFO] |  +- com.google.inject:guice:jar:5.1.0:test
-[INFO] |  |  +- javax.inject:javax.inject:jar:1:test
-[INFO] |  |  \- aopalliance:aopalliance:jar:1.0:test
-[INFO] |  +- com.google.guava:guava:jar:31.1-jre:test
-[INFO] |  +- com.google.guava:failureaccess:jar:1.0.1:test
-[INFO] |  +- org.apache.maven:maven-resolver-provider:jar:3.9.3:test
-[INFO] |  +- org.apache.maven:maven-model-builder:jar:3.9.3:test
-[INFO] |  |  +- org.apache.maven:maven-artifact:jar:3.9.3:test
-[INFO] |  |  \- org.apache.maven:maven-builder-support:jar:3.9.3:test
-[INFO] |  +- org.apache.maven:maven-repository-metadata:jar:3.9.3:test
-[INFO] |  +- org.apache.maven:maven-settings:jar:3.9.3:test
-[INFO] |  +- org.apache.maven:maven-settings-builder:jar:3.9.3:test
-[INFO] |  +- org.apache.maven.resolver:maven-resolver-api:jar:1.9.13:test
-[INFO] |  +- org.apache.maven.resolver:maven-resolver-impl:jar:1.9.13:test
-[INFO] |  |  \- org.slf4j:slf4j-api:jar:1.7.36:test
-[INFO] |  +- org.apache.maven.resolver:maven-resolver-spi:jar:1.9.13:test
-[INFO] |  +- org.apache.maven.resolver:maven-resolver-util:jar:1.9.13:test
-[INFO] |  +- org.apache.maven.resolver:maven-resolver-connector-basic:jar:1.9.13:test
-[INFO] |  +- org.apache.maven.resolver:maven-resolver-transport-file:jar:1.9.13:test
-[INFO] |  +- org.apache.maven.resolver:maven-resolver-transport-http:jar:1.9.13:test
-[INFO] |  |  +- org.apache.httpcomponents:httpclient:jar:4.5.14:test
-[INFO] |  |  +- org.apache.httpcomponents:httpcore:jar:4.4.16:test
-[INFO] |  |  \- org.slf4j:jcl-over-slf4j:jar:1.7.36:test
-[INFO] |  +- org.codehaus.plexus:plexus-interpolation:jar:1.26:test
-[INFO] |  +- org.codehaus.plexus:plexus-utils:jar:3.5.1:test
-[INFO] |  \- org.codehaus.plexus:plexus-sec-dispatcher:jar:2.0:test
-[INFO] |     \- org.codehaus.plexus:plexus-cipher:jar:2.0:test
-[INFO] +- org.junit.jupiter:junit-jupiter-engine:jar:5.9.2:test
-[INFO] |  +- org.junit.platform:junit-platform-engine:jar:1.9.2:test
-[INFO] |  |  +- org.opentest4j:opentest4j:jar:1.2.0:test
-[INFO] |  |  \- org.junit.platform:junit-platform-commons:jar:1.9.2:test
-[INFO] |  +- org.junit.jupiter:junit-jupiter-api:jar:5.9.2:test
-[INFO] |  \- org.apiguardian:apiguardian-api:jar:1.1.2:test
-[INFO] +- org.junit.jupiter:junit-jupiter:jar:5.9.2:test
-[INFO] |  \- org.junit.jupiter:junit-jupiter-params:jar:5.9.2:test
-[INFO] +- org.mockito:mockito-core:jar:5.3.0:test
-[INFO] |  +- net.bytebuddy:byte-buddy:jar:1.14.4:test
-[INFO] |  +- net.bytebuddy:byte-buddy-agent:jar:1.14.4:test
-[INFO] |  \- org.objenesis:objenesis:jar:3.3:test
-[INFO] \- io.hotmoka.testing:io-hotmoka-testing:jar:1.4.1:test
-[INFO] 
-[INFO] -------------------< io.hotmoka:io-hotmoka-node-api >-------------------
-[INFO] Building io-hotmoka-node-api 1.5.0                                [8/29]
-[INFO] --------------------------------[ jar ]---------------------------------
-[INFO] 
-[INFO] --- maven-dependency-plugin:2.8:tree (default-cli) @ io-hotmoka-node-api ---
-[INFO] io.hotmoka:io-hotmoka-node-api:jar:1.5.0
-[INFO] +- io.hotmoka.annotations:io-hotmoka-annotations:jar:1.4.1:compile
-[INFO] +- io.hotmoka.closeables:io-hotmoka-closeables-api:jar:1.4.1:compile
-[INFO] +- io.hotmoka.marshalling:io-hotmoka-marshalling-api:jar:1.4.2:compile
-[INFO] +- io.hotmoka.crypto:io-hotmoka-crypto-api:jar:1.4.1:compile
-[INFO] +- org.junit.jupiter:junit-jupiter-engine:jar:5.9.2:test
-[INFO] |  +- org.junit.platform:junit-platform-engine:jar:1.9.2:test
-[INFO] |  |  +- org.opentest4j:opentest4j:jar:1.2.0:test
-[INFO] |  |  \- org.junit.platform:junit-platform-commons:jar:1.9.2:test
-[INFO] |  +- org.junit.jupiter:junit-jupiter-api:jar:5.9.2:test
-[INFO] |  \- org.apiguardian:apiguardian-api:jar:1.1.2:test
-[INFO] +- org.junit.jupiter:junit-jupiter:jar:5.9.2:test
-[INFO] |  \- org.junit.jupiter:junit-jupiter-params:jar:5.9.2:test
-[INFO] +- org.mockito:mockito-core:jar:5.3.0:test
-[INFO] |  +- net.bytebuddy:byte-buddy:jar:1.14.4:test
-[INFO] |  +- net.bytebuddy:byte-buddy-agent:jar:1.14.4:test
-[INFO] |  \- org.objenesis:objenesis:jar:3.3:test
-[INFO] \- io.hotmoka.testing:io-hotmoka-testing:jar:1.4.1:test
-[INFO] 
-[INFO] ---------------------< io.hotmoka:io-hotmoka-node >---------------------
-[INFO] Building io-hotmoka-node 1.5.0                                    [9/29]
-[INFO] --------------------------------[ jar ]---------------------------------
-[INFO] 
-[INFO] --- maven-dependency-plugin:2.8:tree (default-cli) @ io-hotmoka-node ---
-[INFO] io.hotmoka:io-hotmoka-node:jar:1.5.0
-[INFO] +- io.hotmoka:io-hotmoka-node-api:jar:1.5.0:compile
-[INFO] |  +- io.hotmoka.closeables:io-hotmoka-closeables-api:jar:1.4.1:compile
-[INFO] |  +- io.hotmoka.marshalling:io-hotmoka-marshalling-api:jar:1.4.2:compile
-[INFO] |  \- io.hotmoka.crypto:io-hotmoka-crypto-api:jar:1.4.1:compile
-[INFO] +- io.hotmoka.annotations:io-hotmoka-annotations:jar:1.4.1:compile
-[INFO] +- io.hotmoka.crypto:io-hotmoka-crypto:jar:1.4.1:compile
-[INFO] |  \- org.bouncycastle:bcprov-jdk15on:jar:1.70:compile
-[INFO] +- io.hotmoka:io-takamaka-code-constants:jar:1.3.0:compile
-[INFO] +- io.hotmoka.exceptions:io-hotmoka-exceptions:jar:1.4.1:compile
-[INFO] +- io.hotmoka.marshalling:io-hotmoka-marshalling:jar:1.4.2:compile
-[INFO] +- io.hotmoka.websockets:io-hotmoka-websockets-beans:jar:1.4.2:compile
-[INFO] |  +- io.hotmoka.websockets:io-hotmoka-websockets-beans-api:jar:1.4.2:compile
-[INFO] |  |  \- jakarta.websocket:jakarta.websocket-client-api:jar:2.1.0:compile
-[INFO] |  \- com.google.code.gson:gson:jar:2.8.9:compile
-[INFO] +- io.hotmoka:toml4j:jar:0.7.3:compile
-[INFO] +- org.junit.jupiter:junit-jupiter-engine:jar:5.9.2:test
-[INFO] |  +- org.junit.platform:junit-platform-engine:jar:1.9.2:test
-[INFO] |  |  +- org.opentest4j:opentest4j:jar:1.2.0:test
-[INFO] |  |  \- org.junit.platform:junit-platform-commons:jar:1.9.2:test
-[INFO] |  +- org.junit.jupiter:junit-jupiter-api:jar:5.9.2:test
-[INFO] |  \- org.apiguardian:apiguardian-api:jar:1.1.2:test
-[INFO] +- org.junit.jupiter:junit-jupiter:jar:5.9.2:test
-[INFO] |  \- org.junit.jupiter:junit-jupiter-params:jar:5.9.2:test
-[INFO] +- org.mockito:mockito-core:jar:5.3.0:test
-[INFO] |  +- net.bytebuddy:byte-buddy:jar:1.14.4:test
-[INFO] |  +- net.bytebuddy:byte-buddy-agent:jar:1.14.4:test
-[INFO] |  \- org.objenesis:objenesis:jar:3.3:test
-[INFO] \- io.hotmoka.testing:io-hotmoka-testing:jar:1.4.1:test
-[INFO] 
-[INFO] ----------------< io.hotmoka:io-hotmoka-node-local-api >----------------
-[INFO] Building io-hotmoka-node-local-api 1.5.0                         [10/29]
-[INFO] --------------------------------[ jar ]---------------------------------
-[INFO] 
-[INFO] --- maven-dependency-plugin:2.8:tree (default-cli) @ io-hotmoka-node-local-api ---
-[INFO] io.hotmoka:io-hotmoka-node-local-api:jar:1.5.0
-[INFO] +- io.hotmoka:io-hotmoka-node-api:jar:1.5.0:compile
-[INFO] |  +- io.hotmoka.closeables:io-hotmoka-closeables-api:jar:1.4.1:compile
-[INFO] |  +- io.hotmoka.marshalling:io-hotmoka-marshalling-api:jar:1.4.2:compile
-[INFO] |  \- io.hotmoka.crypto:io-hotmoka-crypto-api:jar:1.4.1:compile
-[INFO] +- io.hotmoka.annotations:io-hotmoka-annotations:jar:1.4.1:compile
-[INFO] +- io.hotmoka:io-hotmoka-verification-api:jar:1.5.0:compile
-[INFO] |  +- io.hotmoka:io-hotmoka-whitelisting-api:jar:1.5.0:compile
-[INFO] |  \- org.apache.bcel:bcel:jar:6.7.0:compile
-[INFO] |     \- org.apache.commons:commons-lang3:jar:3.12.0:compile
-[INFO] +- org.junit.jupiter:junit-jupiter-engine:jar:5.9.2:test
-[INFO] |  +- org.junit.platform:junit-platform-engine:jar:1.9.2:test
-[INFO] |  |  +- org.opentest4j:opentest4j:jar:1.2.0:test
-[INFO] |  |  \- org.junit.platform:junit-platform-commons:jar:1.9.2:test
-[INFO] |  +- org.junit.jupiter:junit-jupiter-api:jar:5.9.2:test
-[INFO] |  \- org.apiguardian:apiguardian-api:jar:1.1.2:test
-[INFO] +- org.junit.jupiter:junit-jupiter:jar:5.9.2:test
-[INFO] |  \- org.junit.jupiter:junit-jupiter-params:jar:5.9.2:test
-[INFO] +- org.mockito:mockito-core:jar:5.3.0:test
-[INFO] |  +- net.bytebuddy:byte-buddy:jar:1.14.4:test
-[INFO] |  +- net.bytebuddy:byte-buddy-agent:jar:1.14.4:test
-[INFO] |  \- org.objenesis:objenesis:jar:3.3:test
-[INFO] \- io.hotmoka.testing:io-hotmoka-testing:jar:1.4.1:test
-[INFO] 
-[INFO] -----------------< io.hotmoka:io-hotmoka-patricia-api >-----------------
-[INFO] Building io-hotmoka-patricia-api 1.5.0                           [11/29]
-[INFO] --------------------------------[ jar ]---------------------------------
-[INFO] 
-[INFO] --- maven-dependency-plugin:2.8:tree (default-cli) @ io-hotmoka-patricia-api ---
-[INFO] io.hotmoka:io-hotmoka-patricia-api:jar:1.5.0
-[INFO] +- org.junit.jupiter:junit-jupiter-engine:jar:5.9.2:test
-[INFO] |  +- org.junit.platform:junit-platform-engine:jar:1.9.2:test
-[INFO] |  |  +- org.opentest4j:opentest4j:jar:1.2.0:test
-[INFO] |  |  \- org.junit.platform:junit-platform-commons:jar:1.9.2:test
-[INFO] |  +- org.junit.jupiter:junit-jupiter-api:jar:5.9.2:test
-[INFO] |  \- org.apiguardian:apiguardian-api:jar:1.1.2:test
-[INFO] +- org.junit.jupiter:junit-jupiter:jar:5.9.2:test
-[INFO] |  \- org.junit.jupiter:junit-jupiter-params:jar:5.9.2:test
-[INFO] +- org.mockito:mockito-core:jar:5.3.0:test
-[INFO] |  +- net.bytebuddy:byte-buddy:jar:1.14.4:test
-[INFO] |  +- net.bytebuddy:byte-buddy-agent:jar:1.14.4:test
-[INFO] |  \- org.objenesis:objenesis:jar:3.3:test
-[INFO] \- io.hotmoka.testing:io-hotmoka-testing:jar:1.4.1:test
-[INFO] 
-[INFO] -------------------< io.hotmoka:io-hotmoka-patricia >-------------------
-[INFO] Building io-hotmoka-patricia 1.5.0                               [12/29]
-[INFO] --------------------------------[ jar ]---------------------------------
-[INFO] 
-[INFO] --- maven-dependency-plugin:2.8:tree (default-cli) @ io-hotmoka-patricia ---
-[INFO] io.hotmoka:io-hotmoka-patricia:jar:1.5.0
-[INFO] +- io.hotmoka:io-hotmoka-patricia-api:jar:1.5.0:compile
-[INFO] +- io.hotmoka.marshalling:io-hotmoka-marshalling:jar:1.4.2:compile
-[INFO] |  +- io.hotmoka.marshalling:io-hotmoka-marshalling-api:jar:1.4.2:compile
-[INFO] |  \- io.hotmoka.exceptions:io-hotmoka-exceptions:jar:1.4.1:compile
-[INFO] +- io.hotmoka.crypto:io-hotmoka-crypto-api:jar:1.4.1:compile
-[INFO] +- org.junit.jupiter:junit-jupiter-engine:jar:5.9.2:test
-[INFO] |  +- org.junit.platform:junit-platform-engine:jar:1.9.2:test
-[INFO] |  |  +- org.opentest4j:opentest4j:jar:1.2.0:test
-[INFO] |  |  \- org.junit.platform:junit-platform-commons:jar:1.9.2:test
-[INFO] |  +- org.junit.jupiter:junit-jupiter-api:jar:5.9.2:test
-[INFO] |  \- org.apiguardian:apiguardian-api:jar:1.1.2:test
-[INFO] +- org.junit.jupiter:junit-jupiter:jar:5.9.2:test
-[INFO] |  \- org.junit.jupiter:junit-jupiter-params:jar:5.9.2:test
-[INFO] +- org.mockito:mockito-core:jar:5.3.0:test
-[INFO] |  +- net.bytebuddy:byte-buddy:jar:1.14.4:test
-[INFO] |  +- net.bytebuddy:byte-buddy-agent:jar:1.14.4:test
-[INFO] |  \- org.objenesis:objenesis:jar:3.3:test
-[INFO] \- io.hotmoka.testing:io-hotmoka-testing:jar:1.4.1:test
-[INFO] 
-[INFO] ------------------< io.hotmoka:io-hotmoka-node-local >------------------
-[INFO] Building io-hotmoka-node-local 1.5.0                             [13/29]
-[INFO] --------------------------------[ jar ]---------------------------------
-[INFO] 
-[INFO] --- maven-dependency-plugin:2.8:tree (default-cli) @ io-hotmoka-node-local ---
-[INFO] io.hotmoka:io-hotmoka-node-local:jar:1.5.0
-[INFO] +- io.hotmoka:io-hotmoka-node-local-api:jar:1.5.0:compile
-[INFO] |  +- io.hotmoka:io-hotmoka-node-api:jar:1.5.0:compile
-[INFO] |  |  \- io.hotmoka.marshalling:io-hotmoka-marshalling-api:jar:1.4.2:compile
-[INFO] |  \- io.hotmoka:io-hotmoka-verification-api:jar:1.5.0:compile
-[INFO] |     \- org.apache.bcel:bcel:jar:6.7.0:compile
-[INFO] |        \- org.apache.commons:commons-lang3:jar:3.12.0:compile
-[INFO] +- io.hotmoka:io-takamaka-code-constants:jar:1.3.0:compile
-[INFO] +- io.hotmoka.exceptions:io-hotmoka-exceptions:jar:1.4.1:compile
-[INFO] +- io.hotmoka.annotations:io-hotmoka-annotations:jar:1.4.1:compile
-[INFO] +- io.hotmoka.xodus:io-hotmoka-xodus:jar:1.4.4:compile
-[INFO] |  +- org.jetbrains.xodus:xodus-environment:jar:2.0.1:compile
-[INFO] |  |  +- org.jetbrains.kotlin:kotlin-stdlib:jar:1.6.10:compile
-[INFO] |  |  |  +- org.jetbrains:annotations:jar:13.0:compile
-[INFO] |  |  |  \- org.jetbrains.kotlin:kotlin-stdlib-common:jar:1.6.10:compile
-[INFO] |  |  +- org.jetbrains.xodus:xodus-compress:jar:2.0.1:compile
-[INFO] |  |  |  \- org.jetbrains.xodus:xodus-openAPI:jar:2.0.1:compile
-[INFO] |  |  |     \- org.jetbrains.xodus:xodus-utils:jar:2.0.1:compile
-[INFO] |  |  +- org.apache.commons:commons-compress:jar:1.21:runtime
-[INFO] |  |  \- io.github.microutils:kotlin-logging:jar:1.7.9:runtime
-[INFO] |  \- org.slf4j:slf4j-api:jar:2.0.7:compile
-[INFO] +- io.hotmoka.crypto:io-hotmoka-crypto:jar:1.4.1:compile
-[INFO] |  +- io.hotmoka.crypto:io-hotmoka-crypto-api:jar:1.4.1:compile
-[INFO] |  \- org.bouncycastle:bcprov-jdk15on:jar:1.70:compile
-[INFO] +- io.hotmoka:io-hotmoka-whitelisting:jar:1.5.0:compile
-[INFO] |  \- io.hotmoka:io-hotmoka-whitelisting-api:jar:1.5.0:compile
-[INFO] +- io.hotmoka:io-hotmoka-patricia:jar:1.5.0:compile
-[INFO] |  +- io.hotmoka:io-hotmoka-patricia-api:jar:1.5.0:compile
-[INFO] |  \- io.hotmoka.marshalling:io-hotmoka-marshalling:jar:1.4.2:compile
-[INFO] +- io.hotmoka:io-hotmoka-instrumentation:jar:1.5.0:compile
-[INFO] |  +- io.hotmoka:io-hotmoka-instrumentation-api:jar:1.5.0:compile
-[INFO] |  +- io.hotmoka:io-hotmoka-verification:jar:1.5.0:compile
-[INFO] |  \- it.univr.bcel:it-univr-bcel:jar:1.2.1:compile
-[INFO] +- io.hotmoka:io-hotmoka-node:jar:1.5.0:compile
-[INFO] |  \- io.hotmoka.websockets:io-hotmoka-websockets-beans:jar:1.4.2:compile
-[INFO] |     \- io.hotmoka.websockets:io-hotmoka-websockets-beans-api:jar:1.4.2:compile
-[INFO] |        \- jakarta.websocket:jakarta.websocket-client-api:jar:2.1.0:compile
-[INFO] +- io.hotmoka.closeables:io-hotmoka-closeables:jar:1.4.1:compile
-[INFO] |  \- io.hotmoka.closeables:io-hotmoka-closeables-api:jar:1.4.1:compile
-[INFO] +- io.hotmoka:toml4j:jar:0.7.3:compile
-[INFO] |  \- com.google.code.gson:gson:jar:2.8.9:compile
-[INFO] +- org.junit.jupiter:junit-jupiter-engine:jar:5.9.2:test
-[INFO] |  +- org.junit.platform:junit-platform-engine:jar:1.9.2:test
-[INFO] |  |  +- org.opentest4j:opentest4j:jar:1.2.0:test
-[INFO] |  |  \- org.junit.platform:junit-platform-commons:jar:1.9.2:test
-[INFO] |  +- org.junit.jupiter:junit-jupiter-api:jar:5.9.2:test
-[INFO] |  \- org.apiguardian:apiguardian-api:jar:1.1.2:test
-[INFO] +- org.junit.jupiter:junit-jupiter:jar:5.9.2:test
-[INFO] |  \- org.junit.jupiter:junit-jupiter-params:jar:5.9.2:test
-[INFO] +- org.mockito:mockito-core:jar:5.3.0:test
-[INFO] |  +- net.bytebuddy:byte-buddy:jar:1.14.4:test
-[INFO] |  +- net.bytebuddy:byte-buddy-agent:jar:1.14.4:test
-[INFO] |  \- org.objenesis:objenesis:jar:3.3:test
-[INFO] \- io.hotmoka.testing:io-hotmoka-testing:jar:1.4.1:test
-[INFO] 
-[INFO] -----------------< io.hotmoka:io-hotmoka-helpers-api >------------------
-[INFO] Building io-hotmoka-helpers-api 1.5.0                            [14/29]
-[INFO] --------------------------------[ jar ]---------------------------------
-[INFO] 
-[INFO] --- maven-dependency-plugin:2.8:tree (default-cli) @ io-hotmoka-helpers-api ---
-[INFO] io.hotmoka:io-hotmoka-helpers-api:jar:1.5.0
-[INFO] +- io.hotmoka.annotations:io-hotmoka-annotations:jar:1.4.1:compile
-[INFO] +- io.hotmoka.crypto:io-hotmoka-crypto-api:jar:1.4.1:compile
-[INFO] +- io.hotmoka:io-hotmoka-node-api:jar:1.5.0:compile
-[INFO] |  +- io.hotmoka.closeables:io-hotmoka-closeables-api:jar:1.4.1:compile
-[INFO] |  \- io.hotmoka.marshalling:io-hotmoka-marshalling-api:jar:1.4.2:compile
-[INFO] +- io.hotmoka:io-hotmoka-verification-api:jar:1.5.0:compile
-[INFO] |  +- io.hotmoka:io-hotmoka-whitelisting-api:jar:1.5.0:compile
-[INFO] |  \- org.apache.bcel:bcel:jar:6.7.0:compile
-[INFO] |     \- org.apache.commons:commons-lang3:jar:3.12.0:compile
-[INFO] +- org.junit.jupiter:junit-jupiter-engine:jar:5.9.2:test
-[INFO] |  +- org.junit.platform:junit-platform-engine:jar:1.9.2:test
-[INFO] |  |  +- org.opentest4j:opentest4j:jar:1.2.0:test
-[INFO] |  |  \- org.junit.platform:junit-platform-commons:jar:1.9.2:test
-[INFO] |  +- org.junit.jupiter:junit-jupiter-api:jar:5.9.2:test
-[INFO] |  \- org.apiguardian:apiguardian-api:jar:1.1.2:test
-[INFO] +- org.junit.jupiter:junit-jupiter:jar:5.9.2:test
-[INFO] |  \- org.junit.jupiter:junit-jupiter-params:jar:5.9.2:test
-[INFO] +- org.mockito:mockito-core:jar:5.3.0:test
-[INFO] |  +- net.bytebuddy:byte-buddy:jar:1.14.4:test
-[INFO] |  +- net.bytebuddy:byte-buddy-agent:jar:1.14.4:test
-[INFO] |  \- org.objenesis:objenesis:jar:3.3:test
-[INFO] \- io.hotmoka.testing:io-hotmoka-testing:jar:1.4.1:test
-[INFO] 
-[INFO] -------------------< io.hotmoka:io-hotmoka-helpers >--------------------
-[INFO] Building io-hotmoka-helpers 1.5.0                                [15/29]
-[INFO] --------------------------------[ jar ]---------------------------------
-[INFO] 
-[INFO] --- maven-dependency-plugin:2.8:tree (default-cli) @ io-hotmoka-helpers ---
-[INFO] io.hotmoka:io-hotmoka-helpers:jar:1.5.0
-[INFO] +- io.hotmoka:io-hotmoka-helpers-api:jar:1.5.0:compile
-[INFO] |  +- io.hotmoka.crypto:io-hotmoka-crypto-api:jar:1.4.1:compile
-[INFO] |  +- io.hotmoka:io-hotmoka-node-api:jar:1.5.0:compile
-[INFO] |  |  +- io.hotmoka.closeables:io-hotmoka-closeables-api:jar:1.4.1:compile
-[INFO] |  |  \- io.hotmoka.marshalling:io-hotmoka-marshalling-api:jar:1.4.2:compile
-[INFO] |  \- io.hotmoka:io-hotmoka-verification-api:jar:1.5.0:compile
-[INFO] |     +- io.hotmoka:io-hotmoka-whitelisting-api:jar:1.5.0:compile
-[INFO] |     \- org.apache.bcel:bcel:jar:6.7.0:compile
-[INFO] |        \- org.apache.commons:commons-lang3:jar:3.12.0:compile
-[INFO] +- io.hotmoka.annotations:io-hotmoka-annotations:jar:1.4.1:compile
-[INFO] +- io.hotmoka:io-hotmoka-node:jar:1.5.0:compile
-[INFO] |  +- io.hotmoka:io-takamaka-code-constants:jar:1.3.0:compile
-[INFO] |  +- io.hotmoka.exceptions:io-hotmoka-exceptions:jar:1.4.1:compile
-[INFO] |  +- io.hotmoka.marshalling:io-hotmoka-marshalling:jar:1.4.2:compile
-[INFO] |  +- io.hotmoka.websockets:io-hotmoka-websockets-beans:jar:1.4.2:compile
-[INFO] |  |  +- io.hotmoka.websockets:io-hotmoka-websockets-beans-api:jar:1.4.2:compile
-[INFO] |  |  |  \- jakarta.websocket:jakarta.websocket-client-api:jar:2.1.0:compile
-[INFO] |  |  \- com.google.code.gson:gson:jar:2.8.9:compile
-[INFO] |  \- io.hotmoka:toml4j:jar:0.7.3:compile
-[INFO] +- io.hotmoka:io-hotmoka-verification:jar:1.5.0:compile
-[INFO] |  \- io.hotmoka:io-hotmoka-whitelisting:jar:1.5.0:compile
-[INFO] +- io.hotmoka.crypto:io-hotmoka-crypto:jar:1.4.1:compile
-[INFO] |  \- org.bouncycastle:bcprov-jdk15on:jar:1.70:compile
-[INFO] +- org.junit.jupiter:junit-jupiter-engine:jar:5.9.2:test
-[INFO] |  +- org.junit.platform:junit-platform-engine:jar:1.9.2:test
-[INFO] |  |  +- org.opentest4j:opentest4j:jar:1.2.0:test
-[INFO] |  |  \- org.junit.platform:junit-platform-commons:jar:1.9.2:test
-[INFO] |  +- org.junit.jupiter:junit-jupiter-api:jar:5.9.2:test
-[INFO] |  \- org.apiguardian:apiguardian-api:jar:1.1.2:test
-[INFO] +- org.junit.jupiter:junit-jupiter:jar:5.9.2:test
-[INFO] |  \- org.junit.jupiter:junit-jupiter-params:jar:5.9.2:test
-[INFO] +- org.mockito:mockito-core:jar:5.3.0:test
-[INFO] |  +- net.bytebuddy:byte-buddy:jar:1.14.4:test
-[INFO] |  +- net.bytebuddy:byte-buddy-agent:jar:1.14.4:test
-[INFO] |  \- org.objenesis:objenesis:jar:3.3:test
-[INFO] \- io.hotmoka.testing:io-hotmoka-testing:jar:1.4.1:test
-[INFO] 
-[INFO] ---------------< io.hotmoka:io-hotmoka-node-service-api >---------------
-[INFO] Building io-hotmoka-node-service-api 1.5.0                       [16/29]
-[INFO] --------------------------------[ jar ]---------------------------------
-[INFO] 
-[INFO] --- maven-dependency-plugin:2.8:tree (default-cli) @ io-hotmoka-node-service-api ---
-[INFO] io.hotmoka:io-hotmoka-node-service-api:jar:1.5.0
-[INFO] +- io.hotmoka.annotations:io-hotmoka-annotations:jar:1.4.1:compile
-[INFO] +- io.hotmoka:io-hotmoka-node-api:jar:1.5.0:provided
-[INFO] |  +- io.hotmoka.closeables:io-hotmoka-closeables-api:jar:1.4.1:provided
-[INFO] |  +- io.hotmoka.marshalling:io-hotmoka-marshalling-api:jar:1.4.2:provided
-[INFO] |  \- io.hotmoka.crypto:io-hotmoka-crypto-api:jar:1.4.1:provided
-[INFO] +- org.junit.jupiter:junit-jupiter-engine:jar:5.9.2:test
-[INFO] |  +- org.junit.platform:junit-platform-engine:jar:1.9.2:test
-[INFO] |  |  +- org.opentest4j:opentest4j:jar:1.2.0:test
-[INFO] |  |  \- org.junit.platform:junit-platform-commons:jar:1.9.2:test
-[INFO] |  +- org.junit.jupiter:junit-jupiter-api:jar:5.9.2:test
-[INFO] |  \- org.apiguardian:apiguardian-api:jar:1.1.2:test
-[INFO] +- org.junit.jupiter:junit-jupiter:jar:5.9.2:test
-[INFO] |  \- org.junit.jupiter:junit-jupiter-params:jar:5.9.2:test
-[INFO] +- org.mockito:mockito-core:jar:5.3.0:test
-[INFO] |  +- net.bytebuddy:byte-buddy:jar:1.14.4:test
-[INFO] |  +- net.bytebuddy:byte-buddy-agent:jar:1.14.4:test
-[INFO] |  \- org.objenesis:objenesis:jar:3.3:test
-[INFO] \- io.hotmoka.testing:io-hotmoka-testing:jar:1.4.1:test
-[INFO] 
-[INFO] --------------< io.hotmoka:io-hotmoka-node-messages-api >---------------
-[INFO] Building io-hotmoka-node-messages-api 1.5.0                      [17/29]
-[INFO] --------------------------------[ jar ]---------------------------------
-[INFO] 
-[INFO] --- maven-dependency-plugin:2.8:tree (default-cli) @ io-hotmoka-node-messages-api ---
-[INFO] io.hotmoka:io-hotmoka-node-messages-api:jar:1.5.0
-[INFO] +- io.hotmoka:io-hotmoka-node-api:jar:1.5.0:compile
-[INFO] |  +- io.hotmoka.closeables:io-hotmoka-closeables-api:jar:1.4.1:compile
-[INFO] |  +- io.hotmoka.marshalling:io-hotmoka-marshalling-api:jar:1.4.2:compile
-[INFO] |  \- io.hotmoka.crypto:io-hotmoka-crypto-api:jar:1.4.1:compile
-[INFO] +- io.hotmoka.websockets:io-hotmoka-websockets-beans-api:jar:1.4.2:compile
-[INFO] |  \- jakarta.websocket:jakarta.websocket-client-api:jar:2.1.0:compile
-[INFO] +- io.hotmoka.annotations:io-hotmoka-annotations:jar:1.4.1:compile
-[INFO] +- org.junit.jupiter:junit-jupiter-engine:jar:5.9.2:test
-[INFO] |  +- org.junit.platform:junit-platform-engine:jar:1.9.2:test
-[INFO] |  |  +- org.opentest4j:opentest4j:jar:1.2.0:test
-[INFO] |  |  \- org.junit.platform:junit-platform-commons:jar:1.9.2:test
-[INFO] |  +- org.junit.jupiter:junit-jupiter-api:jar:5.9.2:test
-[INFO] |  \- org.apiguardian:apiguardian-api:jar:1.1.2:test
-[INFO] +- org.junit.jupiter:junit-jupiter:jar:5.9.2:test
-[INFO] |  \- org.junit.jupiter:junit-jupiter-params:jar:5.9.2:test
-[INFO] +- org.mockito:mockito-core:jar:5.3.0:test
-[INFO] |  +- net.bytebuddy:byte-buddy:jar:1.14.4:test
-[INFO] |  +- net.bytebuddy:byte-buddy-agent:jar:1.14.4:test
-[INFO] |  \- org.objenesis:objenesis:jar:3.3:test
-[INFO] \- io.hotmoka.testing:io-hotmoka-testing:jar:1.4.1:test
-[INFO] 
-[INFO] ----------------< io.hotmoka:io-hotmoka-node-messages >-----------------
-[INFO] Building io-hotmoka-node-messages 1.5.0                          [18/29]
-[INFO] --------------------------------[ jar ]---------------------------------
-[INFO] 
-[INFO] --- maven-dependency-plugin:2.8:tree (default-cli) @ io-hotmoka-node-messages ---
-[INFO] io.hotmoka:io-hotmoka-node-messages:jar:1.5.0
-[INFO] +- io.hotmoka:io-hotmoka-node-messages-api:jar:1.5.0:compile
-[INFO] |  +- io.hotmoka.websockets:io-hotmoka-websockets-beans-api:jar:1.4.2:compile
-[INFO] |  |  \- jakarta.websocket:jakarta.websocket-client-api:jar:2.1.0:compile
-[INFO] |  \- io.hotmoka.annotations:io-hotmoka-annotations:jar:1.4.1:compile
-[INFO] +- io.hotmoka:io-hotmoka-node:jar:1.5.0:compile
-[INFO] |  +- io.hotmoka:io-takamaka-code-constants:jar:1.3.0:compile
-[INFO] |  +- io.hotmoka.marshalling:io-hotmoka-marshalling:jar:1.4.2:compile
-[INFO] |  \- io.hotmoka:toml4j:jar:0.7.3:compile
-[INFO] +- io.hotmoka:io-hotmoka-node-api:jar:1.5.0:provided
-[INFO] |  +- io.hotmoka.closeables:io-hotmoka-closeables-api:jar:1.4.1:provided
-[INFO] |  +- io.hotmoka.marshalling:io-hotmoka-marshalling-api:jar:1.4.2:compile
-[INFO] |  \- io.hotmoka.crypto:io-hotmoka-crypto-api:jar:1.4.1:compile
-[INFO] +- io.hotmoka.crypto:io-hotmoka-crypto:jar:1.4.1:compile
-[INFO] |  \- org.bouncycastle:bcprov-jdk15on:jar:1.70:compile
-[INFO] +- io.hotmoka.exceptions:io-hotmoka-exceptions:jar:1.4.1:compile
-[INFO] +- io.hotmoka.websockets:io-hotmoka-websockets-beans:jar:1.4.2:compile
-[INFO] |  \- com.google.code.gson:gson:jar:2.8.9:compile
-[INFO] +- org.junit.jupiter:junit-jupiter-engine:jar:5.9.2:test
-[INFO] |  +- org.junit.platform:junit-platform-engine:jar:1.9.2:test
-[INFO] |  |  +- org.opentest4j:opentest4j:jar:1.2.0:test
-[INFO] |  |  \- org.junit.platform:junit-platform-commons:jar:1.9.2:test
-[INFO] |  +- org.junit.jupiter:junit-jupiter-api:jar:5.9.2:test
-[INFO] |  \- org.apiguardian:apiguardian-api:jar:1.1.2:test
-[INFO] +- org.junit.jupiter:junit-jupiter:jar:5.9.2:test
-[INFO] |  \- org.junit.jupiter:junit-jupiter-params:jar:5.9.2:test
-[INFO] +- org.mockito:mockito-core:jar:5.3.0:test
-[INFO] |  +- net.bytebuddy:byte-buddy:jar:1.14.4:test
-[INFO] |  +- net.bytebuddy:byte-buddy-agent:jar:1.14.4:test
-[INFO] |  \- org.objenesis:objenesis:jar:3.3:test
-[INFO] \- io.hotmoka.testing:io-hotmoka-testing:jar:1.4.1:test
-[INFO] 
-[INFO] -----------------< io.hotmoka:io-hotmoka-node-service >-----------------
-[INFO] Building io-hotmoka-node-service 1.5.0                           [19/29]
-[INFO] --------------------------------[ jar ]---------------------------------
-[INFO] 
-[INFO] --- maven-dependency-plugin:2.8:tree (default-cli) @ io-hotmoka-node-service ---
-[INFO] io.hotmoka:io-hotmoka-node-service:jar:1.5.0
-[INFO] +- io.hotmoka:io-hotmoka-node-service-api:jar:1.5.0:compile
-[INFO] +- io.hotmoka:io-hotmoka-node-api:jar:1.5.0:compile
-[INFO] |  +- io.hotmoka.marshalling:io-hotmoka-marshalling-api:jar:1.4.2:compile
-[INFO] |  \- io.hotmoka.crypto:io-hotmoka-crypto-api:jar:1.4.1:compile
-[INFO] +- io.hotmoka:io-hotmoka-node-messages:jar:1.5.0:compile
-[INFO] |  +- io.hotmoka:io-hotmoka-node-messages-api:jar:1.5.0:compile
-[INFO] |  +- io.hotmoka:io-hotmoka-node:jar:1.5.0:compile
-[INFO] |  |  +- io.hotmoka:io-takamaka-code-constants:jar:1.3.0:compile
-[INFO] |  |  \- io.hotmoka.marshalling:io-hotmoka-marshalling:jar:1.4.2:compile
-[INFO] |  +- io.hotmoka.crypto:io-hotmoka-crypto:jar:1.4.1:compile
-[INFO] |  |  \- org.bouncycastle:bcprov-jdk15on:jar:1.70:compile
-[INFO] |  \- io.hotmoka.exceptions:io-hotmoka-exceptions:jar:1.4.1:compile
-[INFO] +- io.hotmoka.annotations:io-hotmoka-annotations:jar:1.4.1:compile
-[INFO] +- io.hotmoka.closeables:io-hotmoka-closeables-api:jar:1.4.1:compile
-[INFO] +- io.hotmoka.websockets:io-hotmoka-websockets-server:jar:1.4.2:compile
-[INFO] |  +- io.hotmoka.websockets:io-hotmoka-websockets-server-api:jar:1.4.2:compile
-[INFO] |  +- jakarta.websocket:jakarta.websocket-api:jar:2.1.0:compile
-[INFO] |  \- org.glassfish.tyrus:tyrus-container-grizzly-server:jar:2.1.3:compile
-[INFO] |     +- org.glassfish.grizzly:grizzly-framework:jar:4.0.0:compile
-[INFO] |     +- org.glassfish.grizzly:grizzly-http-server:jar:4.0.0:compile
-[INFO] |     |  \- org.glassfish.grizzly:grizzly-http:jar:4.0.0:compile
-[INFO] |     +- org.glassfish.tyrus:tyrus-server:jar:2.1.3:compile
-[INFO] |     |  +- jakarta.xml.bind:jakarta.xml.bind-api:jar:4.0.0:compile
-[INFO] |     |  |  \- jakarta.activation:jakarta.activation-api:jar:2.1.0:compile
-[INFO] |     |  \- org.glassfish.tyrus:tyrus-client:jar:2.1.3:compile
-[INFO] |     \- org.glassfish.tyrus:tyrus-container-grizzly-client:jar:2.1.3:compile
-[INFO] +- io.hotmoka.websockets:io-hotmoka-websockets-beans:jar:1.4.2:compile
-[INFO] |  +- io.hotmoka.websockets:io-hotmoka-websockets-beans-api:jar:1.4.2:compile
-[INFO] |  |  \- jakarta.websocket:jakarta.websocket-client-api:jar:2.1.0:compile
-[INFO] |  \- com.google.code.gson:gson:jar:2.8.9:compile
-[INFO] +- io.hotmoka:toml4j:jar:0.7.3:compile
-[INFO] +- org.glassfish.tyrus:tyrus-core:jar:2.1.3:provided
-[INFO] |  \- org.glassfish.tyrus:tyrus-spi:jar:2.1.3:provided
-[INFO] +- org.junit.jupiter:junit-jupiter-engine:jar:5.9.2:test
-[INFO] |  +- org.junit.platform:junit-platform-engine:jar:1.9.2:test
-[INFO] |  |  +- org.opentest4j:opentest4j:jar:1.2.0:test
-[INFO] |  |  \- org.junit.platform:junit-platform-commons:jar:1.9.2:test
-[INFO] |  +- org.junit.jupiter:junit-jupiter-api:jar:5.9.2:test
-[INFO] |  \- org.apiguardian:apiguardian-api:jar:1.1.2:test
-[INFO] +- org.junit.jupiter:junit-jupiter:jar:5.9.2:test
-[INFO] |  \- org.junit.jupiter:junit-jupiter-params:jar:5.9.2:test
-[INFO] +- org.mockito:mockito-core:jar:5.3.0:test
-[INFO] |  +- net.bytebuddy:byte-buddy:jar:1.14.4:test
-[INFO] |  +- net.bytebuddy:byte-buddy-agent:jar:1.14.4:test
-[INFO] |  \- org.objenesis:objenesis:jar:3.3:test
-[INFO] \- io.hotmoka.testing:io-hotmoka-testing:jar:1.4.1:test
-[INFO] 
-[INFO] ---------------< io.hotmoka:io-hotmoka-node-remote-api >----------------
-[INFO] Building io-hotmoka-node-remote-api 1.5.0                        [20/29]
-[INFO] --------------------------------[ jar ]---------------------------------
-[INFO] 
-[INFO] --- maven-dependency-plugin:2.8:tree (default-cli) @ io-hotmoka-node-remote-api ---
-[INFO] io.hotmoka:io-hotmoka-node-remote-api:jar:1.5.0
-[INFO] +- io.hotmoka:io-hotmoka-node-api:jar:1.5.0:compile
-[INFO] |  +- io.hotmoka.closeables:io-hotmoka-closeables-api:jar:1.4.1:compile
-[INFO] |  +- io.hotmoka.marshalling:io-hotmoka-marshalling-api:jar:1.4.2:compile
-[INFO] |  \- io.hotmoka.crypto:io-hotmoka-crypto-api:jar:1.4.1:compile
-[INFO] +- io.hotmoka.websockets:io-hotmoka-websockets-client-api:jar:1.4.2:compile
-[INFO] +- io.hotmoka.annotations:io-hotmoka-annotations:jar:1.4.1:compile
-[INFO] +- org.junit.jupiter:junit-jupiter-engine:jar:5.9.2:test
-[INFO] |  +- org.junit.platform:junit-platform-engine:jar:1.9.2:test
-[INFO] |  |  +- org.opentest4j:opentest4j:jar:1.2.0:test
-[INFO] |  |  \- org.junit.platform:junit-platform-commons:jar:1.9.2:test
-[INFO] |  +- org.junit.jupiter:junit-jupiter-api:jar:5.9.2:test
-[INFO] |  \- org.apiguardian:apiguardian-api:jar:1.1.2:test
-[INFO] +- org.junit.jupiter:junit-jupiter:jar:5.9.2:test
-[INFO] |  \- org.junit.jupiter:junit-jupiter-params:jar:5.9.2:test
-[INFO] +- org.mockito:mockito-core:jar:5.3.0:test
-[INFO] |  +- net.bytebuddy:byte-buddy:jar:1.14.4:test
-[INFO] |  +- net.bytebuddy:byte-buddy-agent:jar:1.14.4:test
-[INFO] |  \- org.objenesis:objenesis:jar:3.3:test
-[INFO] \- io.hotmoka.testing:io-hotmoka-testing:jar:1.4.1:test
-[INFO] 
-[INFO] -----------------< io.hotmoka:io-hotmoka-node-remote >------------------
-[INFO] Building io-hotmoka-node-remote 1.5.0                            [21/29]
-[INFO] --------------------------------[ jar ]---------------------------------
-[INFO] 
-[INFO] --- maven-dependency-plugin:2.8:tree (default-cli) @ io-hotmoka-node-remote ---
-[INFO] io.hotmoka:io-hotmoka-node-remote:jar:1.5.0
-[INFO] +- io.hotmoka:io-hotmoka-node-remote-api:jar:1.5.0:compile
-[INFO] |  +- io.hotmoka:io-hotmoka-node-api:jar:1.5.0:compile
-[INFO] |  |  +- io.hotmoka.closeables:io-hotmoka-closeables-api:jar:1.4.1:compile
-[INFO] |  |  +- io.hotmoka.marshalling:io-hotmoka-marshalling-api:jar:1.4.2:compile
-[INFO] |  |  \- io.hotmoka.crypto:io-hotmoka-crypto-api:jar:1.4.1:compile
-[INFO] |  \- io.hotmoka.websockets:io-hotmoka-websockets-client-api:jar:1.4.2:compile
-[INFO] +- io.hotmoka:io-hotmoka-node:jar:1.5.0:compile
-[INFO] |  +- io.hotmoka.crypto:io-hotmoka-crypto:jar:1.4.1:compile
-[INFO] |  |  \- org.bouncycastle:bcprov-jdk15on:jar:1.70:compile
-[INFO] |  +- io.hotmoka:io-takamaka-code-constants:jar:1.3.0:compile
-[INFO] |  +- io.hotmoka.exceptions:io-hotmoka-exceptions:jar:1.4.1:compile
-[INFO] |  \- io.hotmoka.marshalling:io-hotmoka-marshalling:jar:1.4.2:compile
-[INFO] +- io.hotmoka:io-hotmoka-node-service-api:jar:1.5.0:compile
-[INFO] +- io.hotmoka:io-hotmoka-node-messages:jar:1.5.0:compile
-[INFO] |  \- io.hotmoka:io-hotmoka-node-messages-api:jar:1.5.0:compile
-[INFO] +- io.hotmoka.annotations:io-hotmoka-annotations:jar:1.4.1:compile
-[INFO] +- io.hotmoka.websockets:io-hotmoka-websockets-client:jar:1.4.2:compile
-[INFO] |  +- io.hotmoka.websockets:io-hotmoka-websockets-beans-api:jar:1.4.2:compile
-[INFO] |  |  \- jakarta.websocket:jakarta.websocket-client-api:jar:2.1.0:compile
-[INFO] |  +- io.hotmoka.closeables:io-hotmoka-closeables:jar:1.4.1:compile
-[INFO] |  +- org.glassfish.tyrus:tyrus-client:jar:2.1.3:compile
-[INFO] |  |  \- org.glassfish.tyrus:tyrus-core:jar:2.1.3:compile
-[INFO] |  |     \- org.glassfish.tyrus:tyrus-spi:jar:2.1.3:compile
-[INFO] |  |        \- jakarta.websocket:jakarta.websocket-api:jar:2.1.0:compile
-[INFO] |  \- org.glassfish.tyrus:tyrus-container-grizzly-client:jar:2.1.3:runtime
-[INFO] |     +- org.glassfish.grizzly:grizzly-framework:jar:4.0.0:runtime
-[INFO] |     \- org.glassfish.grizzly:grizzly-http-server:jar:4.0.0:runtime
-[INFO] |        \- org.glassfish.grizzly:grizzly-http:jar:4.0.0:runtime
-[INFO] +- io.hotmoka.websockets:io-hotmoka-websockets-beans:jar:1.4.2:compile
-[INFO] |  \- com.google.code.gson:gson:jar:2.8.9:compile
-[INFO] +- io.hotmoka:toml4j:jar:0.7.3:compile
-[INFO] +- org.junit.jupiter:junit-jupiter-engine:jar:5.9.2:test
-[INFO] |  +- org.junit.platform:junit-platform-engine:jar:1.9.2:test
-[INFO] |  |  +- org.opentest4j:opentest4j:jar:1.2.0:test
-[INFO] |  |  \- org.junit.platform:junit-platform-commons:jar:1.9.2:test
-[INFO] |  +- org.junit.jupiter:junit-jupiter-api:jar:5.9.2:test
-[INFO] |  \- org.apiguardian:apiguardian-api:jar:1.1.2:test
-[INFO] +- org.junit.jupiter:junit-jupiter:jar:5.9.2:test
-[INFO] |  \- org.junit.jupiter:junit-jupiter-params:jar:5.9.2:test
-[INFO] +- org.mockito:mockito-core:jar:5.3.0:test
-[INFO] |  +- net.bytebuddy:byte-buddy:jar:1.14.4:test
-[INFO] |  +- net.bytebuddy:byte-buddy-agent:jar:1.14.4:test
-[INFO] |  \- org.objenesis:objenesis:jar:3.3:test
-[INFO] \- io.hotmoka.testing:io-hotmoka-testing:jar:1.4.1:test
-[INFO] 
-[INFO] -------------< io.hotmoka:io-hotmoka-node-tendermint-api >--------------
-[INFO] Building io-hotmoka-node-tendermint-api 1.5.0                    [22/29]
-[INFO] --------------------------------[ jar ]---------------------------------
-[INFO] 
-[INFO] --- maven-dependency-plugin:2.8:tree (default-cli) @ io-hotmoka-node-tendermint-api ---
-[INFO] io.hotmoka:io-hotmoka-node-tendermint-api:jar:1.5.0
-[INFO] +- io.hotmoka:io-hotmoka-node-local-api:jar:1.5.0:compile
-[INFO] |  \- io.hotmoka:io-hotmoka-verification-api:jar:1.5.0:compile
-[INFO] |     +- io.hotmoka:io-hotmoka-whitelisting-api:jar:1.5.0:compile
-[INFO] |     \- org.apache.bcel:bcel:jar:6.7.0:compile
-[INFO] |        \- org.apache.commons:commons-lang3:jar:3.12.0:compile
-[INFO] +- io.hotmoka:io-hotmoka-node-api:jar:1.5.0:compile
-[INFO] |  +- io.hotmoka.closeables:io-hotmoka-closeables-api:jar:1.4.1:compile
-[INFO] |  +- io.hotmoka.marshalling:io-hotmoka-marshalling-api:jar:1.4.2:compile
-[INFO] |  \- io.hotmoka.crypto:io-hotmoka-crypto-api:jar:1.4.1:compile
-[INFO] +- io.hotmoka.annotations:io-hotmoka-annotations:jar:1.4.1:compile
-[INFO] +- org.junit.jupiter:junit-jupiter-engine:jar:5.9.2:test
-[INFO] |  +- org.junit.platform:junit-platform-engine:jar:1.9.2:test
-[INFO] |  |  +- org.opentest4j:opentest4j:jar:1.2.0:test
-[INFO] |  |  \- org.junit.platform:junit-platform-commons:jar:1.9.2:test
-[INFO] |  +- org.junit.jupiter:junit-jupiter-api:jar:5.9.2:test
-[INFO] |  \- org.apiguardian:apiguardian-api:jar:1.1.2:test
-[INFO] +- org.junit.jupiter:junit-jupiter:jar:5.9.2:test
-[INFO] |  \- org.junit.jupiter:junit-jupiter-params:jar:5.9.2:test
-[INFO] +- org.mockito:mockito-core:jar:5.3.0:test
-[INFO] |  +- net.bytebuddy:byte-buddy:jar:1.14.4:test
-[INFO] |  +- net.bytebuddy:byte-buddy-agent:jar:1.14.4:test
-[INFO] |  \- org.objenesis:objenesis:jar:3.3:test
-[INFO] \- io.hotmoka.testing:io-hotmoka-testing:jar:1.4.1:test
-[INFO] 
-[INFO] -------------< io.hotmoka:io-hotmoka-node-tendermint-abci >-------------
-[INFO] Building io-hotmoka-node-tendermint-abci 1.5.0                   [23/29]
-[INFO] --------------------------------[ jar ]---------------------------------
-[INFO] 
-[INFO] --- maven-dependency-plugin:2.8:tree (default-cli) @ io-hotmoka-node-tendermint-abci ---
-[INFO] io.hotmoka:io-hotmoka-node-tendermint-abci:jar:1.5.0
-[INFO] +- io.grpc:grpc-protobuf:jar:1.54.2:compile
-[INFO] |  +- io.grpc:grpc-api:jar:1.54.2:compile
-[INFO] |  |  \- io.grpc:grpc-context:jar:1.54.2:compile
-[INFO] |  +- com.google.code.findbugs:jsr305:jar:3.0.2:compile
-[INFO] |  +- com.google.protobuf:protobuf-java:jar:3.21.7:compile
-[INFO] |  +- com.google.api.grpc:proto-google-common-protos:jar:2.9.0:compile
-[INFO] |  +- io.grpc:grpc-protobuf-lite:jar:1.54.2:compile
-[INFO] |  \- com.google.guava:guava:jar:31.1-android:compile
-[INFO] |     +- com.google.guava:failureaccess:jar:1.0.1:compile
-[INFO] |     +- com.google.guava:listenablefuture:jar:9999.0-empty-to-avoid-conflict-with-guava:compile
-[INFO] |     +- org.checkerframework:checker-qual:jar:3.12.0:compile
-[INFO] |     \- com.google.j2objc:j2objc-annotations:jar:1.3:compile
-[INFO] +- io.grpc:grpc-stub:jar:1.54.2:compile
-[INFO] |  \- com.google.errorprone:error_prone_annotations:jar:2.18.0:compile
-[INFO] +- com.google.code.gson:gson:jar:2.8.9:compile
-[INFO] +- io.grpc:grpc-netty-shaded:jar:1.54.2:runtime
-[INFO] |  +- io.perfmark:perfmark-api:jar:0.25.0:runtime
-[INFO] |  \- io.grpc:grpc-core:jar:1.54.2:runtime (version selected from constraint [1.54.2,1.54.2])
-[INFO] |     +- com.google.android:annotations:jar:4.1.1.4:runtime
-[INFO] |     \- org.codehaus.mojo:animal-sniffer-annotations:jar:1.21:runtime
-[INFO] +- javax.annotation:javax.annotation-api:jar:1.3.2:compile
-[INFO] +- org.apache.tomcat:annotations-api:jar:6.0.53:provided
-[INFO] +- org.junit.jupiter:junit-jupiter-engine:jar:5.9.2:test
-[INFO] |  +- org.junit.platform:junit-platform-engine:jar:1.9.2:test
-[INFO] |  |  +- org.opentest4j:opentest4j:jar:1.2.0:test
-[INFO] |  |  \- org.junit.platform:junit-platform-commons:jar:1.9.2:test
-[INFO] |  +- org.junit.jupiter:junit-jupiter-api:jar:5.9.2:test
-[INFO] |  \- org.apiguardian:apiguardian-api:jar:1.1.2:test
-[INFO] +- org.junit.jupiter:junit-jupiter:jar:5.9.2:test
-[INFO] |  \- org.junit.jupiter:junit-jupiter-params:jar:5.9.2:test
-[INFO] +- org.mockito:mockito-core:jar:5.3.0:test
-[INFO] |  +- net.bytebuddy:byte-buddy:jar:1.14.4:test
-[INFO] |  +- net.bytebuddy:byte-buddy-agent:jar:1.14.4:test
-[INFO] |  \- org.objenesis:objenesis:jar:3.3:test
-[INFO] \- io.hotmoka.testing:io-hotmoka-testing:jar:1.4.1:test
-[INFO] 
-[INFO] ---------------< io.hotmoka:io-hotmoka-node-tendermint >----------------
-[INFO] Building io-hotmoka-node-tendermint 1.5.0                        [24/29]
-[INFO] --------------------------------[ jar ]---------------------------------
-[INFO] 
-[INFO] --- maven-dependency-plugin:2.8:tree (default-cli) @ io-hotmoka-node-tendermint ---
-[INFO] io.hotmoka:io-hotmoka-node-tendermint:jar:1.5.0
-[INFO] +- io.hotmoka:io-hotmoka-node-tendermint-api:jar:1.5.0:compile
-[INFO] |  \- io.hotmoka:io-hotmoka-node-local-api:jar:1.5.0:compile
-[INFO] +- io.hotmoka:io-hotmoka-node-tendermint-abci:jar:1.5.0:compile
-[INFO] |  +- io.grpc:grpc-protobuf:jar:1.54.2:compile
-[INFO] |  |  +- io.grpc:grpc-api:jar:1.54.2:compile
-[INFO] |  |  |  \- io.grpc:grpc-context:jar:1.54.2:compile
-[INFO] |  |  +- com.google.code.findbugs:jsr305:jar:3.0.2:compile
-[INFO] |  |  +- com.google.api.grpc:proto-google-common-protos:jar:2.9.0:compile
-[INFO] |  |  +- io.grpc:grpc-protobuf-lite:jar:1.54.2:compile
-[INFO] |  |  \- com.google.guava:guava:jar:31.1-android:compile
-[INFO] |  |     +- com.google.guava:failureaccess:jar:1.0.1:compile
-[INFO] |  |     +- com.google.guava:listenablefuture:jar:9999.0-empty-to-avoid-conflict-with-guava:compile
-[INFO] |  |     +- org.checkerframework:checker-qual:jar:3.12.0:compile
-[INFO] |  |     \- com.google.j2objc:j2objc-annotations:jar:1.3:compile
-[INFO] |  +- io.grpc:grpc-stub:jar:1.54.2:compile
-[INFO] |  |  \- com.google.errorprone:error_prone_annotations:jar:2.18.0:compile
-[INFO] |  +- io.grpc:grpc-netty-shaded:jar:1.54.2:runtime
-[INFO] |  |  +- io.perfmark:perfmark-api:jar:0.25.0:runtime
-[INFO] |  |  \- io.grpc:grpc-core:jar:1.54.2:runtime (version selected from constraint [1.54.2,1.54.2])
-[INFO] |  |     +- com.google.android:annotations:jar:4.1.1.4:runtime
-[INFO] |  |     \- org.codehaus.mojo:animal-sniffer-annotations:jar:1.21:runtime
-[INFO] |  \- javax.annotation:javax.annotation-api:jar:1.3.2:compile
-[INFO] +- io.hotmoka.annotations:io-hotmoka-annotations:jar:1.4.1:compile
-[INFO] +- io.hotmoka:io-hotmoka-helpers:jar:1.5.0:compile
-[INFO] |  +- io.hotmoka:io-hotmoka-node:jar:1.5.0:compile
-[INFO] |  |  +- io.hotmoka.marshalling:io-hotmoka-marshalling:jar:1.4.2:compile
-[INFO] |  |  \- io.hotmoka.websockets:io-hotmoka-websockets-beans:jar:1.4.2:compile
-[INFO] |  |     \- io.hotmoka.websockets:io-hotmoka-websockets-beans-api:jar:1.4.2:compile
-[INFO] |  |        \- jakarta.websocket:jakarta.websocket-client-api:jar:2.1.0:compile
-[INFO] |  +- io.hotmoka:io-hotmoka-verification:jar:1.5.0:compile
-[INFO] |  \- io.hotmoka.crypto:io-hotmoka-crypto:jar:1.4.1:compile
-[INFO] |     \- org.bouncycastle:bcprov-jdk15on:jar:1.70:compile
-[INFO] +- io.hotmoka.xodus:io-hotmoka-xodus:jar:1.4.4:compile
-[INFO] |  +- org.jetbrains.xodus:xodus-environment:jar:2.0.1:compile
-[INFO] |  |  +- org.jetbrains.kotlin:kotlin-stdlib:jar:1.6.10:compile
-[INFO] |  |  |  +- org.jetbrains:annotations:jar:13.0:compile
-[INFO] |  |  |  \- org.jetbrains.kotlin:kotlin-stdlib-common:jar:1.6.10:compile
-[INFO] |  |  +- org.jetbrains.xodus:xodus-compress:jar:2.0.1:compile
-[INFO] |  |  |  \- org.jetbrains.xodus:xodus-openAPI:jar:2.0.1:compile
-[INFO] |  |  |     \- org.jetbrains.xodus:xodus-utils:jar:2.0.1:compile
-[INFO] |  |  +- org.apache.commons:commons-compress:jar:1.21:runtime
-[INFO] |  |  \- io.github.microutils:kotlin-logging:jar:1.7.9:runtime
-[INFO] |  \- org.slf4j:slf4j-api:jar:2.0.7:compile
-[INFO] +- io.hotmoka:io-hotmoka-node-local:jar:1.5.0:compile
-[INFO] |  +- io.hotmoka:io-takamaka-code-constants:jar:1.3.0:compile
-[INFO] |  +- io.hotmoka:io-hotmoka-whitelisting:jar:1.5.0:compile
-[INFO] |  |  \- io.hotmoka:io-hotmoka-whitelisting-api:jar:1.5.0:compile
-[INFO] |  +- io.hotmoka:io-hotmoka-patricia:jar:1.5.0:compile
-[INFO] |  |  \- io.hotmoka:io-hotmoka-patricia-api:jar:1.5.0:compile
-[INFO] |  +- io.hotmoka:io-hotmoka-instrumentation:jar:1.5.0:compile
-[INFO] |  |  +- io.hotmoka:io-hotmoka-instrumentation-api:jar:1.5.0:compile
-[INFO] |  |  \- it.univr.bcel:it-univr-bcel:jar:1.2.1:compile
-[INFO] |  \- io.hotmoka.closeables:io-hotmoka-closeables:jar:1.4.1:compile
-[INFO] +- io.hotmoka:io-hotmoka-helpers-api:jar:1.5.0:compile
-[INFO] |  +- io.hotmoka.crypto:io-hotmoka-crypto-api:jar:1.4.1:compile
-[INFO] |  \- io.hotmoka:io-hotmoka-verification-api:jar:1.5.0:compile
-[INFO] |     \- org.apache.bcel:bcel:jar:6.7.0:compile
-[INFO] |        \- org.apache.commons:commons-lang3:jar:3.12.0:compile
-[INFO] +- io.hotmoka:io-hotmoka-node-api:jar:1.5.0:compile
-[INFO] |  +- io.hotmoka.closeables:io-hotmoka-closeables-api:jar:1.4.1:compile
-[INFO] |  \- io.hotmoka.marshalling:io-hotmoka-marshalling-api:jar:1.4.2:compile
-[INFO] +- io.hotmoka.exceptions:io-hotmoka-exceptions:jar:1.4.1:compile
-[INFO] +- com.google.protobuf:protobuf-java:jar:3.21.7:compile
-[INFO] +- com.google.code.gson:gson:jar:2.8.9:compile
-[INFO] +- io.hotmoka:toml4j:jar:0.7.3:compile
-[INFO] +- org.junit.jupiter:junit-jupiter-engine:jar:5.9.2:test
-[INFO] |  +- org.junit.platform:junit-platform-engine:jar:1.9.2:test
-[INFO] |  |  +- org.opentest4j:opentest4j:jar:1.2.0:test
-[INFO] |  |  \- org.junit.platform:junit-platform-commons:jar:1.9.2:test
-[INFO] |  +- org.junit.jupiter:junit-jupiter-api:jar:5.9.2:test
-[INFO] |  \- org.apiguardian:apiguardian-api:jar:1.1.2:test
-[INFO] +- org.junit.jupiter:junit-jupiter:jar:5.9.2:test
-[INFO] |  \- org.junit.jupiter:junit-jupiter-params:jar:5.9.2:test
-[INFO] +- org.mockito:mockito-core:jar:5.3.0:test
-[INFO] |  +- net.bytebuddy:byte-buddy:jar:1.14.4:test
-[INFO] |  +- net.bytebuddy:byte-buddy-agent:jar:1.14.4:test
-[INFO] |  \- org.objenesis:objenesis:jar:3.3:test
-[INFO] \- io.hotmoka.testing:io-hotmoka-testing:jar:1.4.1:test
-[INFO] 
-[INFO] ----------------< io.hotmoka:io-hotmoka-node-disk-api >-----------------
-[INFO] Building io-hotmoka-node-disk-api 1.5.0                          [25/29]
-[INFO] --------------------------------[ jar ]---------------------------------
-[INFO] 
-[INFO] --- maven-dependency-plugin:2.8:tree (default-cli) @ io-hotmoka-node-disk-api ---
-[INFO] io.hotmoka:io-hotmoka-node-disk-api:jar:1.5.0
-[INFO] +- io.hotmoka:io-hotmoka-node-local-api:jar:1.5.0:compile
-[INFO] |  +- io.hotmoka:io-hotmoka-node-api:jar:1.5.0:compile
-[INFO] |  |  +- io.hotmoka.closeables:io-hotmoka-closeables-api:jar:1.4.1:compile
-[INFO] |  |  +- io.hotmoka.marshalling:io-hotmoka-marshalling-api:jar:1.4.2:compile
-[INFO] |  |  \- io.hotmoka.crypto:io-hotmoka-crypto-api:jar:1.4.1:compile
-[INFO] |  \- io.hotmoka:io-hotmoka-verification-api:jar:1.5.0:compile
-[INFO] |     +- io.hotmoka:io-hotmoka-whitelisting-api:jar:1.5.0:compile
-[INFO] |     \- org.apache.bcel:bcel:jar:6.7.0:compile
-[INFO] |        \- org.apache.commons:commons-lang3:jar:3.12.0:compile
-[INFO] +- io.hotmoka.annotations:io-hotmoka-annotations:jar:1.4.1:compile
-[INFO] +- org.junit.jupiter:junit-jupiter-engine:jar:5.9.2:test
-[INFO] |  +- org.junit.platform:junit-platform-engine:jar:1.9.2:test
-[INFO] |  |  +- org.opentest4j:opentest4j:jar:1.2.0:test
-[INFO] |  |  \- org.junit.platform:junit-platform-commons:jar:1.9.2:test
-[INFO] |  +- org.junit.jupiter:junit-jupiter-api:jar:5.9.2:test
-[INFO] |  \- org.apiguardian:apiguardian-api:jar:1.1.2:test
-[INFO] +- org.junit.jupiter:junit-jupiter:jar:5.9.2:test
-[INFO] |  \- org.junit.jupiter:junit-jupiter-params:jar:5.9.2:test
-[INFO] +- org.mockito:mockito-core:jar:5.3.0:test
-[INFO] |  +- net.bytebuddy:byte-buddy:jar:1.14.4:test
-[INFO] |  +- net.bytebuddy:byte-buddy-agent:jar:1.14.4:test
-[INFO] |  \- org.objenesis:objenesis:jar:3.3:test
-[INFO] \- io.hotmoka.testing:io-hotmoka-testing:jar:1.4.1:test
-[INFO] 
-[INFO] ------------------< io.hotmoka:io-hotmoka-node-disk >-------------------
-[INFO] Building io-hotmoka-node-disk 1.5.0                              [26/29]
-[INFO] --------------------------------[ jar ]---------------------------------
-[INFO] 
-[INFO] --- maven-dependency-plugin:2.8:tree (default-cli) @ io-hotmoka-node-disk ---
-[INFO] io.hotmoka:io-hotmoka-node-disk:jar:1.5.0
-[INFO] +- io.hotmoka:io-hotmoka-node-disk-api:jar:1.5.0:compile
-[INFO] |  \- io.hotmoka:io-hotmoka-node-local-api:jar:1.5.0:compile
-[INFO] |     +- io.hotmoka:io-hotmoka-node-api:jar:1.5.0:compile
-[INFO] |     |  \- io.hotmoka.marshalling:io-hotmoka-marshalling-api:jar:1.4.2:compile
-[INFO] |     \- io.hotmoka:io-hotmoka-verification-api:jar:1.5.0:compile
-[INFO] |        \- org.apache.bcel:bcel:jar:6.7.0:compile
-[INFO] |           \- org.apache.commons:commons-lang3:jar:3.12.0:compile
-[INFO] +- io.hotmoka:io-hotmoka-node-local:jar:1.5.0:compile
-[INFO] |  +- io.hotmoka.exceptions:io-hotmoka-exceptions:jar:1.4.1:compile
-[INFO] |  +- io.hotmoka.xodus:io-hotmoka-xodus:jar:1.4.4:compile
-[INFO] |  |  +- org.jetbrains.xodus:xodus-environment:jar:2.0.1:compile
-[INFO] |  |  |  +- org.jetbrains.kotlin:kotlin-stdlib:jar:1.6.10:compile
-[INFO] |  |  |  |  +- org.jetbrains:annotations:jar:13.0:compile
-[INFO] |  |  |  |  \- org.jetbrains.kotlin:kotlin-stdlib-common:jar:1.6.10:compile
-[INFO] |  |  |  +- org.jetbrains.xodus:xodus-compress:jar:2.0.1:compile
-[INFO] |  |  |  |  \- org.jetbrains.xodus:xodus-openAPI:jar:2.0.1:compile
-[INFO] |  |  |  |     \- org.jetbrains.xodus:xodus-utils:jar:2.0.1:compile
-[INFO] |  |  |  +- org.apache.commons:commons-compress:jar:1.21:runtime
-[INFO] |  |  |  \- io.github.microutils:kotlin-logging:jar:1.7.9:runtime
-[INFO] |  |  \- org.slf4j:slf4j-api:jar:2.0.7:compile
-[INFO] |  +- io.hotmoka.crypto:io-hotmoka-crypto:jar:1.4.1:compile
-[INFO] |  |  +- io.hotmoka.crypto:io-hotmoka-crypto-api:jar:1.4.1:compile
-[INFO] |  |  \- org.bouncycastle:bcprov-jdk15on:jar:1.70:compile
-[INFO] |  +- io.hotmoka:io-hotmoka-whitelisting:jar:1.5.0:compile
-[INFO] |  |  \- io.hotmoka:io-hotmoka-whitelisting-api:jar:1.5.0:compile
-[INFO] |  +- io.hotmoka:io-hotmoka-patricia:jar:1.5.0:compile
-[INFO] |  |  +- io.hotmoka:io-hotmoka-patricia-api:jar:1.5.0:compile
-[INFO] |  |  \- io.hotmoka.marshalling:io-hotmoka-marshalling:jar:1.4.2:compile
-[INFO] |  +- io.hotmoka:io-hotmoka-instrumentation:jar:1.5.0:compile
-[INFO] |  |  +- io.hotmoka:io-hotmoka-instrumentation-api:jar:1.5.0:compile
-[INFO] |  |  +- io.hotmoka:io-hotmoka-verification:jar:1.5.0:compile
-[INFO] |  |  \- it.univr.bcel:it-univr-bcel:jar:1.2.1:compile
-[INFO] |  +- io.hotmoka:io-hotmoka-node:jar:1.5.0:compile
-[INFO] |  |  \- io.hotmoka.websockets:io-hotmoka-websockets-beans:jar:1.4.2:compile
-[INFO] |  |     \- io.hotmoka.websockets:io-hotmoka-websockets-beans-api:jar:1.4.2:compile
-[INFO] |  |        \- jakarta.websocket:jakarta.websocket-client-api:jar:2.1.0:compile
-[INFO] |  \- io.hotmoka.closeables:io-hotmoka-closeables:jar:1.4.1:compile
-[INFO] |     \- io.hotmoka.closeables:io-hotmoka-closeables-api:jar:1.4.1:compile
-[INFO] +- io.hotmoka:io-takamaka-code-constants:jar:1.3.0:compile
-[INFO] +- io.hotmoka.annotations:io-hotmoka-annotations:jar:1.4.1:compile
-[INFO] +- io.hotmoka:toml4j:jar:0.7.3:compile
-[INFO] |  \- com.google.code.gson:gson:jar:2.8.9:compile
-[INFO] +- org.junit.jupiter:junit-jupiter-engine:jar:5.9.2:test
-[INFO] |  +- org.junit.platform:junit-platform-engine:jar:1.9.2:test
-[INFO] |  |  +- org.opentest4j:opentest4j:jar:1.2.0:test
-[INFO] |  |  \- org.junit.platform:junit-platform-commons:jar:1.9.2:test
-[INFO] |  +- org.junit.jupiter:junit-jupiter-api:jar:5.9.2:test
-[INFO] |  \- org.apiguardian:apiguardian-api:jar:1.1.2:test
-[INFO] +- org.junit.jupiter:junit-jupiter:jar:5.9.2:test
-[INFO] |  \- org.junit.jupiter:junit-jupiter-params:jar:5.9.2:test
-[INFO] +- org.mockito:mockito-core:jar:5.3.0:test
-[INFO] |  +- net.bytebuddy:byte-buddy:jar:1.14.4:test
-[INFO] |  +- net.bytebuddy:byte-buddy-agent:jar:1.14.4:test
-[INFO] |  \- org.objenesis:objenesis:jar:3.3:test
-[INFO] \- io.hotmoka.testing:io-hotmoka-testing:jar:1.4.1:test
-[INFO] 
-[INFO] ---------------------< io.hotmoka:io-hotmoka-moka >---------------------
-[INFO] Building io-hotmoka-moka 1.5.0                                   [27/29]
-[INFO] --------------------------------[ jar ]---------------------------------
-[INFO] 
-[INFO] --- maven-dependency-plugin:3.3.0:tree (default-cli) @ io-hotmoka-moka ---
-[INFO] io.hotmoka:io-hotmoka-moka:jar:1.5.0
-[INFO] +- io.hotmoka:io-hotmoka-instrumentation:jar:1.5.0:compile
-[INFO] |  +- io.hotmoka:io-hotmoka-instrumentation-api:jar:1.5.0:compile
-[INFO] |  |  \- io.hotmoka:io-hotmoka-verification-api:jar:1.5.0:compile
-[INFO] |  +- io.hotmoka:io-hotmoka-whitelisting:jar:1.5.0:compile
-[INFO] |  +- io.hotmoka:io-hotmoka-verification:jar:1.5.0:compile
-[INFO] |  +- io.hotmoka.exceptions:io-hotmoka-exceptions:jar:1.4.1:compile
-[INFO] |  \- it.univr.bcel:it-univr-bcel:jar:1.2.1:compile
-[INFO] |     \- org.apache.bcel:bcel:jar:6.7.0:compile
-[INFO] |        \- org.apache.commons:commons-lang3:jar:3.12.0:compile
-[INFO] +- io.hotmoka:io-takamaka-code-constants:jar:1.3.0:compile
-[INFO] +- io.hotmoka:io-takamaka-code:jar:1.3.0:compile
-[INFO] +- io.hotmoka:io-hotmoka-node-tendermint:jar:1.5.0:compile
-[INFO] |  +- io.hotmoka:io-hotmoka-node-tendermint-api:jar:1.5.0:compile
-[INFO] |  +- io.hotmoka:io-hotmoka-node-tendermint-abci:jar:1.5.0:compile
-[INFO] |  |  +- io.grpc:grpc-protobuf:jar:1.54.2:compile
-[INFO] |  |  |  +- io.grpc:grpc-api:jar:1.54.2:compile
-[INFO] |  |  |  |  \- io.grpc:grpc-context:jar:1.54.2:compile
-[INFO] |  |  |  +- com.google.code.findbugs:jsr305:jar:3.0.2:compile
-[INFO] |  |  |  +- com.google.api.grpc:proto-google-common-protos:jar:2.9.0:compile
-[INFO] |  |  |  +- io.grpc:grpc-protobuf-lite:jar:1.54.2:compile
-[INFO] |  |  |  \- com.google.guava:guava:jar:31.1-android:compile
-[INFO] |  |  |     +- com.google.guava:failureaccess:jar:1.0.1:compile
-[INFO] |  |  |     +- com.google.guava:listenablefuture:jar:9999.0-empty-to-avoid-conflict-with-guava:compile
-[INFO] |  |  |     +- org.checkerframework:checker-qual:jar:3.12.0:compile
-[INFO] |  |  |     \- com.google.j2objc:j2objc-annotations:jar:1.3:compile
-[INFO] |  |  +- io.grpc:grpc-stub:jar:1.54.2:compile
-[INFO] |  |  |  \- com.google.errorprone:error_prone_annotations:jar:2.18.0:compile
-[INFO] |  |  +- io.grpc:grpc-netty-shaded:jar:1.54.2:runtime
-[INFO] |  |  |  +- io.perfmark:perfmark-api:jar:0.25.0:runtime
-[INFO] |  |  |  \- io.grpc:grpc-core:jar:1.54.2:runtime
-[INFO] |  |  |     +- com.google.android:annotations:jar:4.1.1.4:runtime
-[INFO] |  |  |     \- org.codehaus.mojo:animal-sniffer-annotations:jar:1.21:runtime
-[INFO] |  |  \- javax.annotation:javax.annotation-api:jar:1.3.2:compile
-[INFO] |  +- io.hotmoka.annotations:io-hotmoka-annotations:jar:1.4.1:compile
-[INFO] |  +- io.hotmoka.xodus:io-hotmoka-xodus:jar:1.4.4:compile
-[INFO] |  |  +- org.jetbrains.xodus:xodus-environment:jar:2.0.1:compile
-[INFO] |  |  |  +- org.jetbrains.kotlin:kotlin-stdlib:jar:1.6.10:compile
-[INFO] |  |  |  |  +- org.jetbrains:annotations:jar:13.0:compile
-[INFO] |  |  |  |  \- org.jetbrains.kotlin:kotlin-stdlib-common:jar:1.6.10:compile
-[INFO] |  |  |  +- org.jetbrains.xodus:xodus-compress:jar:2.0.1:compile
-[INFO] |  |  |  |  \- org.jetbrains.xodus:xodus-openAPI:jar:2.0.1:compile
-[INFO] |  |  |  |     \- org.jetbrains.xodus:xodus-utils:jar:2.0.1:compile
-[INFO] |  |  |  +- org.apache.commons:commons-compress:jar:1.21:runtime
-[INFO] |  |  |  \- io.github.microutils:kotlin-logging:jar:1.7.9:runtime
-[INFO] |  |  \- org.slf4j:slf4j-api:jar:2.0.7:compile
-[INFO] |  +- io.hotmoka:io-hotmoka-helpers-api:jar:1.5.0:compile
-[INFO] |  |  \- io.hotmoka.crypto:io-hotmoka-crypto-api:jar:1.4.1:compile
-[INFO] |  +- io.hotmoka:io-hotmoka-node-api:jar:1.5.0:compile
-[INFO] |  |  \- io.hotmoka.marshalling:io-hotmoka-marshalling-api:jar:1.4.2:compile
-[INFO] |  +- com.google.protobuf:protobuf-java:jar:3.21.7:compile
-[INFO] |  +- com.google.code.gson:gson:jar:2.8.9:compile
-[INFO] |  \- io.hotmoka:toml4j:jar:0.7.3:compile
-[INFO] +- io.hotmoka:io-hotmoka-node-disk:jar:1.5.0:compile
-[INFO] |  \- io.hotmoka:io-hotmoka-node-disk-api:jar:1.5.0:compile
-[INFO] +- io.hotmoka:io-hotmoka-node-service:jar:1.5.0:compile
-[INFO] |  +- io.hotmoka:io-hotmoka-node-service-api:jar:1.5.0:compile
-[INFO] |  +- io.hotmoka:io-hotmoka-node-messages:jar:1.5.0:compile
-[INFO] |  |  \- io.hotmoka:io-hotmoka-node-messages-api:jar:1.5.0:compile
-[INFO] |  +- io.hotmoka.closeables:io-hotmoka-closeables-api:jar:1.4.1:compile
-[INFO] |  +- io.hotmoka.websockets:io-hotmoka-websockets-server:jar:1.4.2:compile
-[INFO] |  |  +- io.hotmoka.websockets:io-hotmoka-websockets-server-api:jar:1.4.2:compile
-[INFO] |  |  +- jakarta.websocket:jakarta.websocket-api:jar:2.1.0:compile
-[INFO] |  |  \- org.glassfish.tyrus:tyrus-container-grizzly-server:jar:2.1.3:compile
-[INFO] |  |     +- org.glassfish.grizzly:grizzly-framework:jar:4.0.0:compile
-[INFO] |  |     +- org.glassfish.grizzly:grizzly-http-server:jar:4.0.0:compile
-[INFO] |  |     |  \- org.glassfish.grizzly:grizzly-http:jar:4.0.0:compile
-[INFO] |  |     \- org.glassfish.tyrus:tyrus-server:jar:2.1.3:compile
-[INFO] |  |        \- jakarta.xml.bind:jakarta.xml.bind-api:jar:4.0.0:compile
-[INFO] |  |           \- jakarta.activation:jakarta.activation-api:jar:2.1.0:compile
-[INFO] |  \- io.hotmoka.websockets:io-hotmoka-websockets-beans:jar:1.4.2:compile
-[INFO] |     \- io.hotmoka.websockets:io-hotmoka-websockets-beans-api:jar:1.4.2:compile
-[INFO] +- io.hotmoka:io-hotmoka-node-remote:jar:1.5.0:compile
-[INFO] |  +- io.hotmoka:io-hotmoka-node-remote-api:jar:1.5.0:compile
-[INFO] |  +- io.hotmoka:io-hotmoka-node:jar:1.5.0:compile
-[INFO] |  |  \- io.hotmoka.marshalling:io-hotmoka-marshalling:jar:1.4.2:compile
-[INFO] |  \- io.hotmoka.websockets:io-hotmoka-websockets-client:jar:1.4.2:compile
-[INFO] |     +- org.glassfish.tyrus:tyrus-client:jar:2.1.3:compile
-[INFO] |     |  \- org.glassfish.tyrus:tyrus-core:jar:2.1.3:compile
-[INFO] |     |     \- org.glassfish.tyrus:tyrus-spi:jar:2.1.3:compile
-[INFO] |     \- org.glassfish.tyrus:tyrus-container-grizzly-client:jar:2.1.3:compile
-[INFO] +- io.hotmoka:io-hotmoka-whitelisting-api:jar:1.5.0:compile
-[INFO] +- io.hotmoka:io-hotmoka-node-local:jar:1.5.0:compile
-[INFO] |  +- io.hotmoka:io-hotmoka-node-local-api:jar:1.5.0:compile
-[INFO] |  +- io.hotmoka.crypto:io-hotmoka-crypto:jar:1.4.1:compile
-[INFO] |  |  \- org.bouncycastle:bcprov-jdk15on:jar:1.70:compile
-[INFO] |  +- io.hotmoka:io-hotmoka-patricia:jar:1.5.0:compile
-[INFO] |  |  \- io.hotmoka:io-hotmoka-patricia-api:jar:1.5.0:compile
-[INFO] |  \- io.hotmoka.closeables:io-hotmoka-closeables:jar:1.4.1:compile
-[INFO] +- io.hotmoka:io-hotmoka-helpers:jar:1.5.0:compile
-[INFO] +- io.hotmoka.cli:io-hotmoka-cli:jar:1.2.0:compile
-[INFO] |  +- io.hotmoka.websockets:io-hotmoka-websockets-client-api:jar:1.4.2:compile
-[INFO] |  \- jakarta.websocket:jakarta.websocket-client-api:jar:2.1.0:compile
-[INFO] +- info.picocli:picocli:jar:4.7.2:compile
-[INFO] +- org.junit.jupiter:junit-jupiter-engine:jar:5.9.2:test
-[INFO] |  +- org.junit.platform:junit-platform-engine:jar:1.9.2:test
-[INFO] |  |  +- org.opentest4j:opentest4j:jar:1.2.0:test
-[INFO] |  |  \- org.junit.platform:junit-platform-commons:jar:1.9.2:test
-[INFO] |  +- org.junit.jupiter:junit-jupiter-api:jar:5.9.2:test
-[INFO] |  \- org.apiguardian:apiguardian-api:jar:1.1.2:test
-[INFO] +- org.junit.jupiter:junit-jupiter:jar:5.9.2:test
-[INFO] |  \- org.junit.jupiter:junit-jupiter-params:jar:5.9.2:test
-[INFO] +- org.mockito:mockito-core:jar:5.3.0:test
-[INFO] |  +- net.bytebuddy:byte-buddy:jar:1.14.4:test
-[INFO] |  +- net.bytebuddy:byte-buddy-agent:jar:1.14.4:test
-[INFO] |  \- org.objenesis:objenesis:jar:3.3:test
-[INFO] \- io.hotmoka.testing:io-hotmoka-testing:jar:1.4.1:test
-[INFO] 
-[INFO] -------------------< io.hotmoka:io-hotmoka-examples >-------------------
-[INFO] Building io-hotmoka-examples 1.5.0                               [28/29]
-[INFO] --------------------------------[ jar ]---------------------------------
-[INFO] 
-[INFO] --- maven-dependency-plugin:2.8:tree (default-cli) @ io-hotmoka-examples ---
-[INFO] io.hotmoka:io-hotmoka-examples:jar:1.5.0
-[INFO] +- io.hotmoka:io-takamaka-code:jar:1.3.0:compile
-[INFO] +- org.junit.jupiter:junit-jupiter-engine:jar:5.9.2:test
-[INFO] |  +- org.junit.platform:junit-platform-engine:jar:1.9.2:test
-[INFO] |  |  +- org.opentest4j:opentest4j:jar:1.2.0:test
-[INFO] |  |  \- org.junit.platform:junit-platform-commons:jar:1.9.2:test
-[INFO] |  +- org.junit.jupiter:junit-jupiter-api:jar:5.9.2:test
-[INFO] |  \- org.apiguardian:apiguardian-api:jar:1.1.2:test
-[INFO] +- org.junit.jupiter:junit-jupiter:jar:5.9.2:test
-[INFO] |  \- org.junit.jupiter:junit-jupiter-params:jar:5.9.2:test
-[INFO] +- org.mockito:mockito-core:jar:5.3.0:test
-[INFO] |  +- net.bytebuddy:byte-buddy:jar:1.14.4:test
-[INFO] |  +- net.bytebuddy:byte-buddy-agent:jar:1.14.4:test
-[INFO] |  \- org.objenesis:objenesis:jar:3.3:test
-[INFO] \- io.hotmoka.testing:io-hotmoka-testing:jar:1.4.1:test
-[INFO] 
-[INFO] --------------------< io.hotmoka:io-hotmoka-tests >---------------------
-[INFO] Building io-hotmoka-tests 1.5.0                                  [29/29]
-[INFO] --------------------------------[ jar ]---------------------------------
-[INFO] 
-[INFO] --- maven-dependency-plugin:2.8:tree (default-cli) @ io-hotmoka-tests ---
-[INFO] io.hotmoka:io-hotmoka-tests:jar:1.5.0
-[INFO] +- io.hotmoka:io-takamaka-code-constants:jar:1.3.0:compile
-[INFO] +- io.hotmoka:io-hotmoka-whitelisting:jar:1.5.0:test
-[INFO] |  \- io.hotmoka:io-hotmoka-whitelisting-api:jar:1.5.0:test
-[INFO] +- io.hotmoka:io-hotmoka-verification:jar:1.5.0:test
-[INFO] |  +- io.hotmoka:io-hotmoka-verification-api:jar:1.5.0:test
-[INFO] |  |  \- org.apache.bcel:bcel:jar:6.7.0:test
-[INFO] |  |     \- org.apache.commons:commons-lang3:jar:3.12.0:test
-[INFO] |  \- io.hotmoka.exceptions:io-hotmoka-exceptions:jar:1.4.1:test
-[INFO] +- io.hotmoka:io-hotmoka-instrumentation:jar:1.5.0:test
-[INFO] |  +- io.hotmoka:io-hotmoka-instrumentation-api:jar:1.5.0:test
-[INFO] |  \- it.univr.bcel:it-univr-bcel:jar:1.2.1:test
-[INFO] +- io.hotmoka.crypto:io-hotmoka-crypto:jar:1.4.1:test
-[INFO] |  +- io.hotmoka.crypto:io-hotmoka-crypto-api:jar:1.4.1:test
-[INFO] |  \- org.bouncycastle:bcprov-jdk15on:jar:1.70:test
-[INFO] +- io.hotmoka:io-hotmoka-node:jar:1.5.0:test
-[INFO] |  +- io.hotmoka:io-hotmoka-node-api:jar:1.5.0:test
-[INFO] |  |  \- io.hotmoka.marshalling:io-hotmoka-marshalling-api:jar:1.4.2:test
-[INFO] |  +- io.hotmoka.annotations:io-hotmoka-annotations:jar:1.4.1:test
-[INFO] |  +- io.hotmoka.marshalling:io-hotmoka-marshalling:jar:1.4.2:test
-[INFO] |  +- io.hotmoka.websockets:io-hotmoka-websockets-beans:jar:1.4.2:test
-[INFO] |  |  \- io.hotmoka.websockets:io-hotmoka-websockets-beans-api:jar:1.4.2:test
-[INFO] |  |     \- jakarta.websocket:jakarta.websocket-client-api:jar:2.1.0:test
-[INFO] |  \- io.hotmoka:toml4j:jar:0.7.3:test
-[INFO] +- io.hotmoka:io-hotmoka-node-local-api:jar:1.5.0:test
-[INFO] +- io.hotmoka:io-hotmoka-helpers:jar:1.5.0:test
-[INFO] |  \- io.hotmoka:io-hotmoka-helpers-api:jar:1.5.0:test
-[INFO] +- io.hotmoka:io-hotmoka-node-disk:jar:1.5.0:test
-[INFO] |  +- io.hotmoka:io-hotmoka-node-disk-api:jar:1.5.0:test
-[INFO] |  \- io.hotmoka:io-hotmoka-node-local:jar:1.5.0:test
-[INFO] |     +- io.hotmoka:io-hotmoka-patricia:jar:1.5.0:test
-[INFO] |     |  \- io.hotmoka:io-hotmoka-patricia-api:jar:1.5.0:test
-[INFO] |     \- io.hotmoka.closeables:io-hotmoka-closeables:jar:1.4.1:test
-[INFO] +- io.hotmoka:io-hotmoka-node-tendermint:jar:1.5.0:test
-[INFO] |  +- io.hotmoka:io-hotmoka-node-tendermint-api:jar:1.5.0:test
-[INFO] |  +- io.hotmoka:io-hotmoka-node-tendermint-abci:jar:1.5.0:test
-[INFO] |  |  +- io.grpc:grpc-protobuf:jar:1.54.2:test
-[INFO] |  |  |  +- io.grpc:grpc-api:jar:1.54.2:test
-[INFO] |  |  |  |  \- io.grpc:grpc-context:jar:1.54.2:test
-[INFO] |  |  |  +- com.google.code.findbugs:jsr305:jar:3.0.2:test
-[INFO] |  |  |  +- com.google.api.grpc:proto-google-common-protos:jar:2.9.0:test
-[INFO] |  |  |  \- io.grpc:grpc-protobuf-lite:jar:1.54.2:test
-[INFO] |  |  +- io.grpc:grpc-stub:jar:1.54.2:test
-[INFO] |  |  |  \- com.google.errorprone:error_prone_annotations:jar:2.18.0:test
-[INFO] |  |  +- io.grpc:grpc-netty-shaded:jar:1.54.2:test
-[INFO] |  |  |  +- io.perfmark:perfmark-api:jar:0.25.0:test
-[INFO] |  |  |  \- io.grpc:grpc-core:jar:1.54.2:test (version selected from constraint [1.54.2,1.54.2])
-[INFO] |  |  |     +- com.google.android:annotations:jar:4.1.1.4:test
-[INFO] |  |  |     \- org.codehaus.mojo:animal-sniffer-annotations:jar:1.21:test
-[INFO] |  |  \- javax.annotation:javax.annotation-api:jar:1.3.2:test
-[INFO] |  +- io.hotmoka.xodus:io-hotmoka-xodus:jar:1.4.4:test
-[INFO] |  |  \- org.jetbrains.xodus:xodus-environment:jar:2.0.1:test
-[INFO] |  |     +- org.jetbrains.kotlin:kotlin-stdlib:jar:1.6.10:test
-[INFO] |  |     |  +- org.jetbrains:annotations:jar:13.0:test
-[INFO] |  |     |  \- org.jetbrains.kotlin:kotlin-stdlib-common:jar:1.6.10:test
-[INFO] |  |     +- org.jetbrains.xodus:xodus-compress:jar:2.0.1:test
-[INFO] |  |     |  \- org.jetbrains.xodus:xodus-openAPI:jar:2.0.1:test
-[INFO] |  |     |     \- org.jetbrains.xodus:xodus-utils:jar:2.0.1:test
-[INFO] |  |     +- org.apache.commons:commons-compress:jar:1.21:test
-[INFO] |  |     \- io.github.microutils:kotlin-logging:jar:1.7.9:test
-[INFO] |  +- com.google.protobuf:protobuf-java:jar:3.21.7:test
-[INFO] |  \- com.google.code.gson:gson:jar:2.8.9:test
-[INFO] +- io.hotmoka:io-hotmoka-node-service:jar:1.5.0:test
-[INFO] |  +- io.hotmoka:io-hotmoka-node-service-api:jar:1.5.0:test
-[INFO] |  +- io.hotmoka:io-hotmoka-node-messages:jar:1.5.0:test
-[INFO] |  |  \- io.hotmoka:io-hotmoka-node-messages-api:jar:1.5.0:test
-[INFO] |  +- io.hotmoka.closeables:io-hotmoka-closeables-api:jar:1.4.1:test
-[INFO] |  \- io.hotmoka.websockets:io-hotmoka-websockets-server:jar:1.4.2:test
-[INFO] |     +- io.hotmoka.websockets:io-hotmoka-websockets-server-api:jar:1.4.2:test
-[INFO] |     +- jakarta.websocket:jakarta.websocket-api:jar:2.1.0:test
-[INFO] |     \- org.glassfish.tyrus:tyrus-container-grizzly-server:jar:2.1.3:test
-[INFO] |        +- org.glassfish.grizzly:grizzly-framework:jar:4.0.0:test
-[INFO] |        +- org.glassfish.grizzly:grizzly-http-server:jar:4.0.0:test
-[INFO] |        |  \- org.glassfish.grizzly:grizzly-http:jar:4.0.0:test
-[INFO] |        \- org.glassfish.tyrus:tyrus-server:jar:2.1.3:test
-[INFO] |           \- jakarta.xml.bind:jakarta.xml.bind-api:jar:4.0.0:test
-[INFO] |              \- jakarta.activation:jakarta.activation-api:jar:2.1.0:test
-[INFO] +- io.hotmoka:io-hotmoka-node-remote:jar:1.5.0:test
-[INFO] |  +- io.hotmoka:io-hotmoka-node-remote-api:jar:1.5.0:test
-[INFO] |  |  \- io.hotmoka.websockets:io-hotmoka-websockets-client-api:jar:1.4.2:test
-[INFO] |  \- io.hotmoka.websockets:io-hotmoka-websockets-client:jar:1.4.2:test
-[INFO] |     +- org.glassfish.tyrus:tyrus-client:jar:2.1.3:test
-[INFO] |     |  \- org.glassfish.tyrus:tyrus-core:jar:2.1.3:test
-[INFO] |     |     \- org.glassfish.tyrus:tyrus-spi:jar:2.1.3:test
-[INFO] |     \- org.glassfish.tyrus:tyrus-container-grizzly-client:jar:2.1.3:test
-[INFO] +- org.jboss.shrinkwrap.resolver:shrinkwrap-resolver-api-maven:jar:3.3.0:test
-[INFO] |  +- org.jboss.shrinkwrap.resolver:shrinkwrap-resolver-api:jar:3.3.0:test
-[INFO] |  \- org.apache.maven:maven-model:jar:3.9.3:test
-[INFO] +- org.jboss.shrinkwrap.resolver:shrinkwrap-resolver-impl-maven:jar:3.3.0:test
-[INFO] |  +- org.jboss.shrinkwrap.resolver:shrinkwrap-resolver-spi-maven:jar:3.3.0:test
-[INFO] |  |  \- org.jboss.shrinkwrap.resolver:shrinkwrap-resolver-spi:jar:3.3.0:test
-[INFO] |  +- eu.maveniverse.maven.mima:context:jar:2.3.2:test
-[INFO] |  +- eu.maveniverse.maven.mima.runtime:embedded-maven:jar:2.3.2:test
-[INFO] |  +- eu.maveniverse.maven.mima.runtime:standalone-static:jar:2.3.2:test
-[INFO] |  |  +- eu.maveniverse.maven.mima.runtime:standalone-shared:jar:2.3.2:test
-[INFO] |  |  +- org.apache.maven.resolver:maven-resolver-named-locks:jar:1.9.13:test
-[INFO] |  |  \- commons-codec:commons-codec:jar:1.16.0:test
-[INFO] |  +- org.codehaus.plexus:plexus-classworlds:jar:2.7.0:test
-[INFO] |  +- org.codehaus.plexus:plexus-component-annotations:jar:2.1.0:test
-[INFO] |  +- org.eclipse.sisu:org.eclipse.sisu.plexus:jar:0.3.5:test
-[INFO] |  |  \- org.eclipse.sisu:org.eclipse.sisu.inject:jar:0.3.5:test
-[INFO] |  +- com.google.inject:guice:jar:5.1.0:test
-[INFO] |  |  +- javax.inject:javax.inject:jar:1:test
-[INFO] |  |  \- aopalliance:aopalliance:jar:1.0:test
-[INFO] |  +- com.google.guava:guava:jar:31.1-jre:test
-[INFO] |  +- com.google.guava:failureaccess:jar:1.0.1:test
-[INFO] |  +- org.apache.maven:maven-resolver-provider:jar:3.9.3:test
-[INFO] |  +- org.apache.maven:maven-model-builder:jar:3.9.3:test
-[INFO] |  |  +- org.apache.maven:maven-artifact:jar:3.9.3:test
-[INFO] |  |  \- org.apache.maven:maven-builder-support:jar:3.9.3:test
-[INFO] |  +- org.apache.maven:maven-repository-metadata:jar:3.9.3:test
-[INFO] |  +- org.apache.maven:maven-settings:jar:3.9.3:test
-[INFO] |  +- org.apache.maven:maven-settings-builder:jar:3.9.3:test
-[INFO] |  +- org.apache.maven.resolver:maven-resolver-api:jar:1.9.13:test
-[INFO] |  +- org.apache.maven.resolver:maven-resolver-impl:jar:1.9.13:test
-[INFO] |  +- org.apache.maven.resolver:maven-resolver-spi:jar:1.9.13:test
-[INFO] |  +- org.apache.maven.resolver:maven-resolver-util:jar:1.9.13:test
-[INFO] |  +- org.apache.maven.resolver:maven-resolver-connector-basic:jar:1.9.13:test
-[INFO] |  +- org.apache.maven.resolver:maven-resolver-transport-file:jar:1.9.13:test
-[INFO] |  +- org.apache.maven.resolver:maven-resolver-transport-http:jar:1.9.13:test
-[INFO] |  |  +- org.apache.httpcomponents:httpclient:jar:4.5.14:test
-[INFO] |  |  +- org.apache.httpcomponents:httpcore:jar:4.4.16:test
-[INFO] |  |  \- org.slf4j:jcl-over-slf4j:jar:1.7.36:test
-[INFO] |  +- org.codehaus.plexus:plexus-interpolation:jar:1.26:test
-[INFO] |  +- org.codehaus.plexus:plexus-utils:jar:3.5.1:test
-[INFO] |  \- org.codehaus.plexus:plexus-sec-dispatcher:jar:2.0:test
-[INFO] |     \- org.codehaus.plexus:plexus-cipher:jar:2.0:test
-[INFO] +- org.slf4j:slf4j-nop:jar:2.0.7:test
-[INFO] |  \- org.slf4j:slf4j-api:jar:2.0.7:test
-[INFO] +- org.junit.jupiter:junit-jupiter-engine:jar:5.9.2:test
-[INFO] |  +- org.junit.platform:junit-platform-engine:jar:1.9.2:test
-[INFO] |  |  +- org.opentest4j:opentest4j:jar:1.2.0:test
-[INFO] |  |  \- org.junit.platform:junit-platform-commons:jar:1.9.2:test
-[INFO] |  +- org.junit.jupiter:junit-jupiter-api:jar:5.9.2:test
-[INFO] |  \- org.apiguardian:apiguardian-api:jar:1.1.2:test
-[INFO] +- org.junit.jupiter:junit-jupiter:jar:5.9.2:test
-[INFO] |  \- org.junit.jupiter:junit-jupiter-params:jar:5.9.2:test
-[INFO] +- org.mockito:mockito-core:jar:5.3.0:test
-[INFO] |  +- net.bytebuddy:byte-buddy:jar:1.14.4:test
-[INFO] |  +- net.bytebuddy:byte-buddy-agent:jar:1.14.4:test
-[INFO] |  \- org.objenesis:objenesis:jar:3.3:test
-[INFO] \- io.hotmoka.testing:io-hotmoka-testing:jar:1.4.1:test
-[INFO] ------------------------------------------------------------------------
-[INFO] Reactor Summary:
-[INFO] 
-[INFO] Hotmoka parent ..................................... SUCCESS [  1.043 s]
-[INFO] io-hotmoka-whitelisting-api 1.5.0 .................. SUCCESS [  0.022 s]
-[INFO] io-hotmoka-whitelisting 1.5.0 ...................... SUCCESS [  0.022 s]
-[INFO] io-hotmoka-verification-api 1.5.0 .................. SUCCESS [  0.035 s]
-[INFO] io-hotmoka-verification 1.5.0 ...................... SUCCESS [  0.303 s]
-[INFO] io-hotmoka-instrumentation-api 1.5.0 ............... SUCCESS [  0.011 s]
-[INFO] io-hotmoka-instrumentation 1.5.0 ................... SUCCESS [  0.032 s]
-[INFO] io-hotmoka-node-api 1.5.0 .......................... SUCCESS [  0.012 s]
-[INFO] io-hotmoka-node 1.5.0 .............................. SUCCESS [  0.020 s]
-[INFO] io-hotmoka-node-local-api 1.5.0 .................... SUCCESS [  0.009 s]
-[INFO] io-hotmoka-patricia-api 1.5.0 ...................... SUCCESS [  0.009 s]
-[INFO] io-hotmoka-patricia 1.5.0 .......................... SUCCESS [  0.012 s]
-[INFO] io-hotmoka-node-local 1.5.0 ........................ SUCCESS [  0.053 s]
-[INFO] io-hotmoka-helpers-api 1.5.0 ....................... SUCCESS [  0.018 s]
-[INFO] io-hotmoka-helpers 1.5.0 ........................... SUCCESS [  0.020 s]
-[INFO] io-hotmoka-node-service-api 1.5.0 .................. SUCCESS [  0.016 s]
-[INFO] io-hotmoka-node-messages-api 1.5.0 ................. SUCCESS [  0.012 s]
-[INFO] io-hotmoka-node-messages 1.5.0 ..................... SUCCESS [  0.010 s]
-[INFO] io-hotmoka-node-service 1.5.0 ...................... SUCCESS [  0.043 s]
-[INFO] io-hotmoka-node-remote-api 1.5.0 ................... SUCCESS [  0.012 s]
-[INFO] io-hotmoka-node-remote 1.5.0 ....................... SUCCESS [  0.019 s]
-[INFO] io-hotmoka-node-tendermint-api 1.5.0 ............... SUCCESS [  0.020 s]
-[INFO] io-hotmoka-node-tendermint-abci 1.5.0 .............. SUCCESS [  0.137 s]
-[INFO] io-hotmoka-node-tendermint 1.5.0 ................... SUCCESS [  0.050 s]
-[INFO] io-hotmoka-node-disk-api 1.5.0 ..................... SUCCESS [  0.007 s]
-[INFO] io-hotmoka-node-disk 1.5.0 ......................... SUCCESS [  0.037 s]
-[INFO] io-hotmoka-moka 1.5.0 .............................. SUCCESS [  0.822 s]
-[INFO] io-hotmoka-examples 1.5.0 .......................... SUCCESS [  0.014 s]
-[INFO] io-hotmoka-tests 1.5.0 ............................. SUCCESS [  0.062 s]
-[INFO] ------------------------------------------------------------------------
-[INFO] BUILD SUCCESS
-[INFO] ------------------------------------------------------------------------
-[INFO] Total time:  3.733 s
-[INFO] Finished at: 2024-05-05T12:52:35+02:00
-[INFO] ------------------------------------------------------------------------