[jbosstools-issues] [JBoss JIRA] Commented: (JBIDE-8479) HTML 5 support in JBoss Tools