Fix tomcatlog.