Jenkins build is back to normal : java-idp-jetty-base-12 » Jettty: Plugin and Module Distribution #194

[Shibboleth Jenkins]

See <http://127.0.0.1:1583/jenkins/job/java-idp-jetty-base-12/net.shibboleth.idp.plugin.jetty$jetty-plugin-dist/194/display/redirect?page=changes>