From 8e97904a1c71bb4f581919cada575e8570d92c05 Mon Sep 17 00:00:00 2001
From: Stephan Schroevers <stephan.schroevers@teampicnic.com>
Date: Wed, 10 May 2023 22:53:18 +0200
Subject: [PATCH] Upgrade to 2.19.1

---
 pom.xml | 5 +----
 1 file changed, 1 insertion(+), 4 deletions(-)

diff --git a/pom.xml b/pom.xml
index 9d75e662bb3..94ed687cf14 100644
--- a/pom.xml
+++ b/pom.xml
@@ -201,7 +201,7 @@
         <version.auto-value>1.10.1</version.auto-value>
         <version.error-prone>${version.error-prone-orig}</version.error-prone>
         <version.error-prone-fork>v${version.error-prone-orig}-picnic-1</version.error-prone-fork>
-        <version.error-prone-orig>2.19.0</version.error-prone-orig>
+        <version.error-prone-orig>2.19.1</version.error-prone-orig>
         <version.error-prone-slf4j>0.1.18</version.error-prone-slf4j>
         <version.guava-beta-checker>1.0</version.guava-beta-checker>
         <version.jdk>11</version.jdk>
@@ -1716,9 +1716,6 @@
                                     <!-- XXX: Enable this once we open-source
                                     this library. -->
                                     -Xep:BetaApi:OFF
-                                    <!-- XXX: Not compatible with JDK 11. See
-                                    google/error-prone#3895. -->
-                                    -Xep:HidingField:OFF
                                     <!-- We don't target JDK 7. -->
                                     -Xep:Java7ApiChecker:OFF
                                     <!-- We don't target JDK 8. -->