[richfaces-issues] [JBoss JIRA] Commented: (RF-7771) jQuery.hotkeys is undefined