Merge branch 'master' into pmd/7.0.x

This commit is contained in:
Andreas Dangel
2021-08-28 17:47:46 +02:00
7 changed files with 119 additions and 14 deletions

View File

@@ -76,7 +76,7 @@
</issueManagement>
<properties>
<project.build.outputTimestamp>2021-07-31T17:02:07Z</project.build.outputTimestamp>
<project.build.outputTimestamp>2021-08-28T15:27:18Z</project.build.outputTimestamp>
<java.version>8</java.version>
@@ -105,7 +105,7 @@
<argLine>-Xmx512m -Dfile.encoding=${project.build.sourceEncoding}</argLine>
<pmd.build-tools.version>16-SNAPSHOT</pmd.build-tools.version>
<pmd.build-tools.version>16</pmd.build-tools.version>
<pmd-designer.version>6.37.0</pmd-designer.version>
<javacc.jar>${settings.localRepository}/net/java/dev/javacc/javacc/${javacc.version}/javacc-${javacc.version}.jar</javacc.jar>