[jbosstools-issues] [JBoss JIRA] (JBDS-4138) Remove setting VAGRANT_DETECTED_OS from vagrant setup