4.0.0 ch.usi.si.codelounge jSicko 1.0.0-M5 jSicko jSicko is a Java SImple Contract checKer. https://github.com/si-codelounge/jsicko https://github.com/si-codelounge/jsicko andrea.mocci Andrea Mocci andrea.mocci@usi.ch developer GPL-v3.0 http://www.gnu.org/licenses/gpl-3.0.txt 3.3.9 UTF-8 UTF-8 11 ${jdk.version} ${jdk.version} ossrh https://s01.oss.sonatype.org/content/repositories/snapshots ossrh https://s01.oss.sonatype.org/service/local/staging/deploy/maven2/ org.apache.maven.plugins maven-compiler-plugin 3.8.1 ${jdk.version} ${jdk.version} --add-exports jdk.compiler/com.sun.tools.javac.util=ALL-UNNAMED --add-exports jdk.compiler/com.sun.tools.javac.tree=ALL-UNNAMED --add-exports jdk.compiler/com.sun.tools.javac.api=ALL-UNNAMED --add-exports jdk.compiler/com.sun.tools.javac.code=ALL-UNNAMED --add-exports jdk.compiler/com.sun.tools.javac.comp=ALL-UNNAMED --add-exports jdk.compiler/com.sun.tools.javac.jvm=ALL-UNNAMED -Xlint:all,-options,-path test-compile testCompile --add-exports jdk.compiler/com.sun.tools.javac.util=ALL-UNNAMED --add-exports jdk.compiler/com.sun.tools.javac.api=ALL-UNNAMED -Xplugin:JSickoContractCompiler true org.apache.maven.plugins maven-deploy-plugin 2.8.2 true deploy org.apache.maven.plugins maven-surefire-plugin 2.19.1 false org.junit.platform junit-platform-surefire-provider 1.1.0 org.junit.jupiter junit-jupiter-engine 5.1.0 org.sonatype.plugins nexus-staging-maven-plugin 1.6.7 true ossrh https://s01.oss.sonatype.org/ true org.apache.maven.plugins maven-compiler-plugin ${jdk.version} ${jdk.version} org.apache.maven.plugins maven-assembly-plugin 3.1.1 jar-with-dependencies make-assembly package single org.jetbrains annotations 16.0.3 compile com.twitter chill-java 0.9.5 org.junit.jupiter junit-jupiter-api [5.1.0,) test com.google.guava guava 30.0-jre release org.apache.maven.plugins maven-source-plugin 2.2.1 attach-sources jar-no-fork org.apache.maven.plugins maven-javadoc-plugin 3.3.1 true --add-exports jdk.compiler/com.sun.tools.javac.util=ALL-UNNAMED --add-exports jdk.compiler/com.sun.tools.javac.tree=ALL-UNNAMED --add-exports jdk.compiler/com.sun.tools.javac.api=ALL-UNNAMED --add-exports jdk.compiler/com.sun.tools.javac.code=ALL-UNNAMED --add-exports jdk.compiler/com.sun.tools.javac.comp=ALL-UNNAMED attach-javadocs jar org.apache.maven.plugins maven-gpg-plugin 1.5 sign-artifacts sign ${gpg.keyname} ${gpg.keyname}