[hibernate-dev] Update Jenkins plugins

Wednesday, 18 January 2017

Hi,
there are some plugins to upgrade on Jenkins and it seems they have
some non trivial changes.

I'll do that on Thursday and hopefully it won't cause too many issues.

Thanks,
Davideb