Tom Copeland recently released a new version of PMD, a useful source code analysis tool for JDeveloper 10.1.3. He blogs about delivering this via JDev's built in Check for Updates functionality (which incidentally just might get a tiny bit better between 10.1.3EA and 10.1.3 production in certain respects... ).