Here is the workaround that worked for me:
- Close Eclipse
- In
{workspace-directory}/.metadata/.plugins/org.eclipse.core.runtime/.settings
delete
the following two files:org.eclipse.wst.server.core.prefs
org.eclipse.jst.server.tomcat.core.prefs
- Restart Eclipse