Formatting of Jenkins scripts