Jenkins build is back to normal : java-identity-provider-v3 » Shibboleth Identity Provider #1918

[Shibboleth Jenkins]

See <https://build.shibboleth.net/jenkins/job/java-identity-provider-v3/net.shibboleth.idp$idp-parent/1918/display/redirect>