Servers added during installation are not readded to a deleted workspace.
Steps to reproduce:
1) Install JBDS, let the installer find some runtimes
2) Start JBDS with a new workspace. Servers are correctly copied to that workspace
3) Stop JBDS.
4) Remove workspace from the disk
5) Start JBDS with the same workspace.
6) Server list is empty.