Jenkins: Plugin configuration files updated by SYSTEM