move Gitbucket to Tomcat 7.0.52