A new Service Update for JDeveloper 10.1.3 is available via "Check for Updates".
Please note that this is not applicable for the JDeveloper 10.1.3.1 Developer Preview.
This is the fifth Service Update (SU5) for JDeveloper 10.1.3.0.4. It fixes some commonly-encountered critical issues. We recommend that all customers apply this Service Update. This Service Update requires that Service Update 1 has been installed. Please ensure that JDeveloper Service Update 1 is already installed before installing Service Update 5.