Utilities around a maven repository manager