jenkins restart

[Daan Hoogland]

sorry for not giving prior notice. I am updating plugins on
jenkins.buildacloud.org. It will restart.

-- 
Daan