[java-sig-commits] [Bug 1030874] jetty-9.1.0.v20131115 is available