Fix fuer Jenkins, Dashboard und Tomcat recipe