diff --git a/debian/patches/26-ignore-error-prone-core.patch b/debian/patches/26-ignore-error-prone-core.patch new file mode 100644 index 0000000..0f15636 --- /dev/null +++ b/debian/patches/26-ignore-error-prone-core.patch @@ -0,0 +1,18 @@ +--- a/pom.xml ++++ b/pom.xml +@@ -141,6 +141,7 @@ + -XDcompilePolicy=simple + + ++ +