Y no lo has solucionado con la solución que ponen en ese mismo link?
- Cierra Eclipse
- En {workspace-directory}/.metadata/.plugins/org.eclipse.core.runtime/.settings suprime los siguientes ficheros:
org.eclipse.wst.server.core.prefs
org.eclipse.jst.server.tomcat.core.prefs
- Reinicia Eclipse
Un saludo