you can download all the extensions related to jdeveloper from this location

http://www.oracle.com/technetwork/developer-tools/jdev/index-099997.html