PortalKit: update tomcatMonitor