[ImageJ-builds] Build failed in Jenkins: Monitor-fiji.sc #8413

[jenkins at imagej.net]

See <http://jenkins.imagej.net/job/Monitor-fiji.sc/8413/>

------------------------------------------
Started by timer
Building on master in workspace <http://jenkins.imagej.net/job/Monitor-fiji.sc/ws/>
Copied 1 artifact from "Fiji-minimal" build number 1852
[workspace] $ /bin/sh -xe /tmp/hudson7813192371626550195.sh
+ sh -x bin/verify-fiji.sc.sh
+ set -e
+ echo Search
Search
+ + grep Sources for HandleExtraFileTypes
curl http://fiji.sc/HandleExtraFileTypes.java
  % Total    % Received % Xferd  Average Speed   Time    Time     Time  Current
                                 Dload  Upload   Total   Spent    Left  Speed

  0     0    0     0    0     0      0      0 --:--:-- --:--:-- --:--:--     0
100    48    0    48    0     0    313      0 --:--:-- --:--:-- --:--:--   317
100    48    0    48    0     0    312      0 --:--:-- --:--:-- --:--:--   315
Build step 'Execute shell' marked build as failure