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 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. -- This message is automatically generated by JIRA. - If you think it was sent incorrectly contact one of the administrators: https://jira.jboss.org/secure/Administrators.jspa - For more information on JIRA, see: http://www.atlassian.com/software/jira