I thought that was fixed:
https://jira.jboss.org/browse/TOOLSDOC-45
Reply to this message by going to Community
Start a new discussion in JBoss Tools at Community