Configuration files for Jenkins