tomcat module: fix indentation