Issue #251: use released version of patch filter

Author: romani

.travis.yml

@@ -27,19 +27,19 @@ matrix:
     - jdk: openjdk8
       env:
         - DESC="install (openjdk8)"
-        - CMD="./build-metafile-gen.sh && ./build-patch-filter.sh && mvn install && git diff"
+        - CMD="./build-metafile-gen.sh && mkdir -p target && git diff HEAD~1 HEAD > target/show.patch && mvn install && git diff"
 
     # JDK 11 (Long Term Support version)
     - jdk: openjdk11
       env:
         - DESC="install (openjdk11)"
-        - CMD="./build-metafile-gen.sh && ./build-patch-filter.sh && mvn install && git diff"
+        - CMD="./build-metafile-gen.sh && mkdir -p target && git diff HEAD~1 HEAD > target/show.patch && mvn install && git diff"
 
     # JDK 13 (most recent Java version)
     - jdk: openjdk13
       env:
         - DESC="install (openjdk13)"
-        - CMD="./build-metafile-gen.sh && ./build-patch-filter.sh && mvn install && git diff"
+        - CMD="./build-metafile-gen.sh && mkdir -p target && git diff HEAD~1 HEAD > target/show.patch && mvn install && git diff"
 
 script:
   - |

build-patch-filter.sh

@@ -136,9 +136,9 @@
                         <version>${maven.sevntu.checkstyle.plugin.version}</version>
                     </dependency>
                     <dependency>
-                        <groupId>com.github.checkstyle</groupId>
-                        <artifactId>patch-filter</artifactId>
-                        <version>1.0-SNAPSHOT</version>
+                        <groupId>com.puppycrawl.tools</groupId>
+                        <artifactId>patch-filters</artifactId>
+                        <version>1.0.0</version>
                     </dependency>
                 </dependencies>
                 <executions>