Tomcat Servers under Eclipse

After creating the server under the servers tab it all works fine. But after copying another server.xml to the server-config it sometimes fails. This is because "workspace/.metadata/.plugins/org.eclipse.wst.server.core/tmp*" could get out-of-sync. Deleting the tmp folder and republishing the server fixes this.

A symptom is that the server starts fine but Eclipse does not detect it. Eclipse thinks the server did not start even though you can access the server just fine.