The JDeveloper 10.1.3.1 maintenance release (Build 3984) is now production. You can download it now from OTN.