gitbucket 1.13 with Apache Tomcat 7.0.53