[jbosstools-issues] [JBoss JIRA] (JBDS-3827) DevStudio installation fails when (windows) user has non-ascii chars in the name