Strange thing. All of a sudden, we cannot install JDeveloper extensions through the JDev GUI (Help > Check for Updates). It seems the Oracle Update tool is not working — been about 1 day. Though there are no errors, the extension doesn’t even appear to download and nothing is any different when you restart JDeveloper.
If you run into this, you can download the latest extensions manually.
[box type=”info”]11g PS3 184.108.40.206.x UPDATE on 1/17/11: We have verified that the updates and extensions have been updated for 11g Patch Set (PS3).[/box]