This screenshot shows the extensions included in the JDeveloper instance. On the Extensions tab, WebCenter Portal - Page Service is shown as selected.
