[java-sig-commits] [Bug 1023427] tomcat-7.0.47 is available