I assume these values gets loaded with the ones we have in the main jenkins configuration file. Is that verified?