[jbossts-issues] [JBoss JIRA] Updated: (JBTM-830) Wrong character encoding in HTML rendering of documentation