Tilman
I've changed the jenkins build timeout strategy on Jenkins because we
got too many timed out builds. I've set an inactivity timeout on 10
minutes. This is because of the problems getting the NVD database while
not having an NVD API key when the plugin gets updated. I suspect that
Apache is penalized because we're not the only ones who make these calls.
