Changes

Summary

1. Change the distro management to work with Jenkins (again). (details)

Commit 8c04567444bb25801fe9f901b759ae4cdb742566 by csj Change the distro management to work with Jenkins (again).
	pom.xml