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