[java-sig-commits] [Bug 1389623] maven-doxia-tools-1.7.2 is available