From 6603e77e3524d203b3d9f00705363c32b313ae51 Mon Sep 17 00:00:00 2001 From: Stephan Schroevers Date: Wed, 2 Aug 2023 07:21:21 +0200 Subject: [PATCH] Suggestions --- pom.xml | 7 +++---- 1 file changed, 3 insertions(+), 4 deletions(-) diff --git a/pom.xml b/pom.xml index a451293e3f4..7025b6ac373 100644 --- a/pom.xml +++ b/pom.xml @@ -200,7 +200,7 @@ 1.1.1 1.10.2 ${version.error-prone-orig} - v${version.error-prone-orig}-picnic-2 + v${version.error-prone-orig}-picnic-1 2.21.0 0.1.18 1.0 @@ -1734,9 +1734,6 @@ -Xep:Java7ApiChecker:OFF -Xep:Java8ApiChecker:OFF - - -Xep:MemberName:OFF -Xep:StaticOrDefaultInterfaceMethod:OFF @@ -1749,6 +1746,8 @@ false-positives. -XepOpt:CheckReturnValue:CheckAllMethods=true --> -XepOpt:InlineMe:SkipInliningsWithComments=false + -XepOpt:NamedLikeContextualKeyword:EnableClassNames=true + -XepOpt:NamedLikeContextualKeyword:EnableMethodNames=true -XepOpt:NullAway:AnnotatedPackages=tech.picnic -XepOpt:NullAway:AssertsEnabled=true -XepOpt:NullAway:CheckOptionalEmptiness=true