[richfaces-issues] [JBoss JIRA] Closed: (RF-927) New highlighter