[jbosstools-issues] [JBoss JIRA] (JBDS-2419) JBDS 6.0.0.CR1 crash after selecting non-default workspace directory