[jbosstools-issues] [JBoss JIRA] (JBDS-3944) Installing "over" existing installation can fail due to duplicate vagrant env - error dialog may be hidden from user