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