JDeveloper 10.1.3 is released. At last.
It has finally happened: JDeveloper 10.1.3 has been released. No news headlines on the OTN frontpage yet, but to be found on the JDeveloper download page:
That went quickly, the last few weeks. I am not 100% certain that is the production release (it does not explicitly say so), but then again, it has no disclaimer about Preview or Early Adopter or whatever. So let’s assume it is the real thing. Great! 
OK, Steve Muench provides the missing information on his blog:


I already downloaded it for AMIS. It’s on its default place on the AMIS network