jenkins: export JAVA_OPTS='-Dsbt.log.noformat=true'