Update devel/jenkins to version 1.530