Eclipse Tomcat Plugin
Tomcat-Plugin auf Github
Update-Site: https://devtools.his.de/tomcatplugin/updatesite