Now with first version of contractchooser which also allows to choose a contract and load it

3 jobs for master in 1 minute and 54 seconds
Status Name Job ID Coverage
passed build #14409


failed deploy #14411


passed test #14410


Name Stage Failure
deploy Test There is an unknown failure, please try again
[ERROR] Refer to the generated Javadoc files in '/builds/xt9634/ProofScriptParser/target/apidocs' dir.
[ERROR] -> [Help 1]
[ERROR] To see the full stack trace of the errors, re-run Maven with the -e switch.
[ERROR] Re-run Maven using the -X switch to enable full debug logging.
[ERROR] For more information about the errors and possible solutions, please read the following articles:
[ERROR] [Help 1]
ERROR: Job failed: exit code 1