[jbosstools-issues] [JBoss JIRA] Resolved: (JBDS-1302) Servers added during installation are not readded to a deleted workspace

Servers added during installation are not readded to a deleted workspace ------------------------------------------------------------------------ Key: JBDS-1302 URL: https://jira.jboss.org/browse/JBDS-1302 Project: Developer Studio (JBoss Developer Studio) Issue Type: Bug Components: servers Affects Versions: 4.0.0.M2 Environment: jbdevstudio-linux-gtk-4.0.0.v201008261621R-H420-M2.jar Reporter: Dominik Pospisil Assignee: Snjezana Peco Fix For: 4.0.0.M2 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.