Ok, sorry for my previous answer, I had never seen that Overview screen before.
Here is how I did it:
- Right click on my tomcat server in “Servers” view, select “Properties…”
- In the “General” panel, click on the “Switch Location” button
- The “Location: [workspace metadata]” bit should have been replaced by something else.
- Open (or close and reopen) the Overview screen for the server.