From 0d8647237f0f09cd7e111fba83bfb26e2c15a4c1 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 2e115ed138f..d1ff64e6e39 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