Utilities for my jenkins, keep out if you do not want to use/develop this!