User-defined tomcat cluster configuration