[richfaces-issues] [JBoss JIRA] Commented: (RF-8728) Merge richfaces highlight source with AS version, and remove dependency from doc builds