Differentiate logs between regular and high-performance tomcat pool