Build failed in Jenkins: java-idp-jetty-base-nightly #345

[Shibboleth Jenkins]

See <https://build.shibboleth.net/jenkins/job/java-idp-jetty-base-nightly/345/display/redirect>

------------------------------------------
Started by user Tom Zeller
Building on master in workspace <https://build.shibboleth.net/jenkins/job/java-idp-jetty-base-nightly/ws/>
 > git rev-parse --is-inside-work-tree # timeout=10
Fetching changes from the remote Git repository
 > git config remote.origin.url git://git.shibboleth.net/java-idp-jetty-base # timeout=10
Fetching upstream changes from git://git.shibboleth.net/java-idp-jetty-base
 > git --version # timeout=10
 > git fetch --tags --progress git://git.shibboleth.net/java-idp-jetty-base +refs/heads/*:refs/remotes/origin/*
 > git rev-parse origin/9.3,9.4^{commit} # timeout=10
 > git rev-parse 9.3,9.4^{commit} # timeout=10
ERROR: Couldn't find any revision to build. Verify the repository and branch configuration for this job.