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

[jenkins at imagej.net]

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

------------------------------------------
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/hudson459034495997203783.sh
+ sh -x bin/verify-fiji.sc.sh
+ set -e
+ echo Search
Search
+ curl http://fiji.sc/HandleExtraFileTypes.java
+ grep Sources for HandleExtraFileTypes
  % 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    316      0 --:--:-- --:--:-- --:--:--   320
100    48    0    48    0     0    316      0 --:--:-- --:--:-- --:--:--   320
Build step 'Execute shell' marked build as failure