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