[jbosstools-issues] [JBoss JIRA] Updated: (JBDS-253) Documentation online navigation