6.25 Error: Tomcat did not stop in time. PID file was not removed

While stopping Tomcat for the Administration Console, Access Gateway, Identity Server, or SSL VPN, you may get this error message:

Tomcat did not stop in time. PID file was not removed.

Ignore this message. Tomcat will be forcibly stopped if it does not stop normally.