diff --git a/pmd-jedit/PMDPlugin/build.xml b/pmd-jedit/PMDPlugin/build.xml index 7193098ddc..e3ee61fae2 100644 --- a/pmd-jedit/PMDPlugin/build.xml +++ b/pmd-jedit/PMDPlugin/build.xml @@ -5,7 +5,7 @@ - + diff --git a/pmd-jedit/PMDPlugin/etc/changelog.txt b/pmd-jedit/PMDPlugin/etc/changelog.txt index 9e2eeefdaf..1b0d59933d 100644 --- a/pmd-jedit/PMDPlugin/etc/changelog.txt +++ b/pmd-jedit/PMDPlugin/etc/changelog.txt @@ -1,5 +1,5 @@ ??? - 2.5 -- Updated to PMD 1.7 +- Updated to PMD 1.8 22 March 2004- 2.4 - Optimized usage of ErrorSource for faster Error Highlighting. diff --git a/pmd-jedit/PMDPlugin/lib/pmd-swingui-0.1.jar b/pmd-jedit/PMDPlugin/lib/pmd-swingui-0.1.jar index ebf4073b1a..409792feee 100644 Binary files a/pmd-jedit/PMDPlugin/lib/pmd-swingui-0.1.jar and b/pmd-jedit/PMDPlugin/lib/pmd-swingui-0.1.jar differ diff --git a/pmd-jedit/PMDPlugin/pmd.props b/pmd-jedit/PMDPlugin/pmd.props index 94e4adbcb7..0a3d45d7cd 100644 --- a/pmd-jedit/PMDPlugin/pmd.props +++ b/pmd-jedit/PMDPlugin/pmd.props @@ -8,7 +8,7 @@ plugin.net.sourceforge.pmd.jedit.PMDJEditPlugin.docs=jedit.html plugin.net.sourceforge.pmd.jedit.PMDJEditPlugin.depend.0=jdk 1.3 plugin.net.sourceforge.pmd.jedit.PMDJEditPlugin.depend.1=jedit 04.02.08.00 plugin.net.sourceforge.pmd.jedit.PMDJEditPlugin.depend.2=plugin errorlist.ErrorListPlugin 1.3.2 -plugin.net.sourceforge.pmd.jedit.PMDJEditPlugin.jars=pmd-1.7.jar jaxen-core-1.0-fcs.jar saxpath-1.0-fcs.jar pmd-swingui-0.1.jar +plugin.net.sourceforge.pmd.jedit.PMDJEditPlugin.jars=pmd-1.8.jar jaxen-core-1.0-fcs.jar saxpath-1.0-fcs.jar pmd-swingui-0.1.jar # # Menu properties