4.0.0 io-takamaka-code jar io-takamaka-code ${takamaka.version} io.hotmoka parent dev org.apache.maven.plugins maven-jar-plugin 3.2.0 ../modules/explicit org.apache.maven.plugins maven-javadoc-plugin 3.2.0 io-takamaka-code-${takamaka.version} -Xmaxerrs 65536 -Xmaxwarns 65536 aggregate aggregate site