Documented the original setup of the Maven settings.xml for Jenkins.