So I tried using contextXmlDefault. But, that doesn't help. Since the same WAR is intended to work on both virtual servers, and the Context is loaded at init time, it finds any/all property in either Context (and if the property is in both, it uses apparently whatever was most recently cached). So this does not distinguish the virtual-server for me.
3. JMX property for servlet http stats? java.net