#1024 add an optional hawtio console to the tomcat patch