The patching operation apparently runs some JBoss Modules component that may download artifacts from Maven, so we'd better make sure it uses the appropriate Maven settings.