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

While stopping Tomcat for Administration Console, Access Gateway, or Identity Server, 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.