Jenkins plugin to administrate the maven settings (settings.xml).