[Jenkins] Shiro build timed out but did not stop

[sebb]

Shiro build timed out, and was marked as aborted after 23 minutes
(seems rather short?), however the build was still running, so I
aborted it:

https://builds.apache.org/job/Shiro/334/