PMD Extension Tom Copeland ${ide.extension.install.home}/lib/pmd-3.5.jar ${ide.extension.install.home}/lib/jaxen-1.1-beta-7.jar ${ide.extension.install.home}/lib/jakarta-oro-2.0.8.jar oracle.jdeveloper net.sourceforge.pmd.jdeveloper.Plugin PMD and whatnot true