[jbosstools-issues] [JBoss JIRA] Resolved: (JBIDE-5835) JBoss Tools Properties editor always removes leading backslash (\)