[issue #2221] simplified configuration for `@Singular`-generated plural form nullchecks.

1 files changed, 3 insertions, 1 deletions

diff --git a/test/transform/resource/after-ecj/CheckerFrameworkSuperBuilder.java b/test/transform/resource/after-ecj/CheckerFrameworkSuperBuilder.java
index 94ec0a0c..163e9d68 100644
--- a/test/transform/resource/after-ecj/CheckerFrameworkSuperBuilder.java
+++ b/test/transform/resource/after-ecj/CheckerFrameworkSuperBuilder.java
@@ -33,7 +33,9 @@ class CheckerFrameworkSuperBuilder {
       }
       public @org.checkerframework.checker.builder.qual.ReturnsReceiver @java.lang.SuppressWarnings("all") B names(final java.util.Collection<? extends String> names) {
         if ((names == null))
-            throw new java.lang.NullPointerException("names cannot be null");
+            {
+              throw new java.lang.NullPointerException("names cannot be null");
+            }
         if ((this.names == null))
             this.names = new java.util.ArrayList<String>();
         this.names.addAll(names);