This figure shows the Extensions tab in the About Oracle JDeveloper dialog. In the list of extensions, WebCenter Portal - Navigation Service is selected.
