diff --git a/pmd-jedit/config/jedit.html b/pmd-jedit/config/jedit.html index 5d4f575f6b..d91ab9c82d 100644 --- a/pmd-jedit/config/jedit.html +++ b/pmd-jedit/config/jedit.html @@ -26,7 +26,7 @@ example, if you wanted to run PMD on your whole source tree, and your top level source directory is named "src", you would 1) double-click on the "src" directory and then 2) select the "PMD->Check directory recursively" menu option.

All those options put any errors into the ErrorList so you can then go jumping around your project fixing stuff. -

There's a section in the Global Options->Plugins configuration panel that lets you pick which rule sets you want to use.

+

There's a section in the Utilities->Global Options->Plugins configuration panel that lets you pick which rule sets you want to use.

License

The PMD-JEdit plugin is free software released under the Apache license.

diff --git a/pmd-jedit/lib/PMDJEditPlugin-0.6.jar b/pmd-jedit/lib/PMDJEditPlugin-0.6.jar new file mode 100644 index 0000000000..92cf0b4554 Binary files /dev/null and b/pmd-jedit/lib/PMDJEditPlugin-0.6.jar differ