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