FWIW, we've had some problems with hot deployment and Tomcat. After a few of them the VM OOMs. Probably we are doing something wrong or triggering some Tomcat b

FWIW, we've had some problems with hot deployment and Tomcat. After a few of them the VM OOMs. Probably we are doing something wrong or triggering some Tomcat bug, haven't dug deep enough yet.