How to Stop Embedded Tomcat

The following lines stop Tomcat and release the used ports and resources:

tomcatServer.stop();
tomcatServer.destroy();