Oracle JDeveloper and the WebCenter extension bundle