Merge branch 'master'

2018-03-24 19:05:13 +01:00
parent a193af1d4a cec32a8508
commit ee85254bd0
45 changed files with 193 additions and 621 deletions
--- a/pmd-java8/pom.xml
+++ b/pmd-java8/pom.xml
@ -11,8 +11,10 @@
    </parent>

    <properties>
-        <config.basedir>${basedir}/../pmd-core</config.basedir>
        <java.version>8</java.version>
+        <!-- Workaround for https://youtrack.jetbrains.com/issue/IDEA-188690 -->
+        <maven.compiler.source>1.${java.version}</maven.compiler.source>
+        <maven.compiler.target>1.${java.version}</maven.compiler.target>
    </properties>

    <build>