Set -Anomsgtext by default for all tests (eisop#212)

AndrewShf · Apr 20, 2022 · 2bd122b · 2bd122b
1 parent 5334f0d
commit 2bd122b
Show file tree

Hide file tree

Showing 111 changed files with 67 additions and 205 deletions.
diff --git a/...ker/src/test/java/org/checkerframework/checker/test/junit/CalledMethodsAutoValueTest.java b/...ker/src/test/java/org/checkerframework/checker/test/junit/CalledMethodsAutoValueTest.java
@@ -24,7 +24,6 @@ public CalledMethodsAutoValueTest(List<File> testFiles) {
                         CalledMethodsChecker.class.getName()),
                 "calledmethods-autovalue",
                 Collections.emptyList(),
-                "-Anomsgtext",
                 "-nowarn");
     }
 

diff --git a/...java/org/checkerframework/checker/test/junit/CalledMethodsDisableReturnsReceiverTest.java b/...java/org/checkerframework/checker/test/junit/CalledMethodsDisableReturnsReceiverTest.java
@@ -14,7 +14,6 @@ public CalledMethodsDisableReturnsReceiverTest(List<File> testFiles) {
                 testFiles,
                 CalledMethodsChecker.class,
                 "calledmethods-disablereturnsreceiver",
-                "-Anomsgtext",
                 "-AdisableReturnsReceiver",
                 "-encoding",
                 "UTF-8");

diff --git a/...test/java/org/checkerframework/checker/test/junit/CalledMethodsDisableframeworksTest.java b/...test/java/org/checkerframework/checker/test/junit/CalledMethodsDisableframeworksTest.java
@@ -23,7 +23,6 @@ public CalledMethodsDisableframeworksTest(List<File> testFiles) {
                         CalledMethodsChecker.class.getName()),
                 "calledmethods-disableframeworks",
                 Collections.emptyList(),
-                "-Anomsgtext",
                 "-AdisableBuilderFrameworkSupports=autovalue,lombok",
                 // The next option is so that we can run the usevaluechecker tests under this
                 // configuration.

diff --git a/checker/src/test/java/org/checkerframework/checker/test/junit/CalledMethodsLombokTest.java b/checker/src/test/java/org/checkerframework/checker/test/junit/CalledMethodsLombokTest.java
@@ -14,7 +14,6 @@ public CalledMethodsLombokTest(List<File> testFiles) {
                 testFiles,
                 CalledMethodsChecker.class,
                 "calledmethods-delomboked",
-                "-Anomsgtext",
                 "-nowarn",
                 "-AsuppressWarnings=type.anno.before.modifier");
     }

diff --git a/...er/src/test/java/org/checkerframework/checker/test/junit/CalledMethodsNoDelombokTest.java b/...er/src/test/java/org/checkerframework/checker/test/junit/CalledMethodsNoDelombokTest.java
@@ -32,7 +32,6 @@ public CalledMethodsNoDelombokTest(List<File> testFiles) {
                 testFiles,
                 org.checkerframework.checker.calledmethods.CalledMethodsChecker.class,
                 "lombok",
-                "-Anomsgtext",
                 "-nowarn");
     }
 

diff --git a/checker/src/test/java/org/checkerframework/checker/test/junit/CalledMethodsTest.java b/checker/src/test/java/org/checkerframework/checker/test/junit/CalledMethodsTest.java
@@ -14,7 +14,6 @@ public CalledMethodsTest(List<File> testFiles) {
                 testFiles,
                 CalledMethodsChecker.class,
                 "calledmethods",
-                "-Anomsgtext",
                 "-nowarn",
                 "-encoding",
                 "UTF-8");

diff --git a/...c/test/java/org/checkerframework/checker/test/junit/CalledMethodsUseValueCheckerTest.java b/...c/test/java/org/checkerframework/checker/test/junit/CalledMethodsUseValueCheckerTest.java
@@ -13,7 +13,6 @@ public CalledMethodsUseValueCheckerTest(List<File> testFiles) {
                 testFiles,
                 CalledMethodsChecker.class,
                 "calledmethods-usevaluechecker",
-                "-Anomsgtext",
                 "-AuseValueChecker",
                 "-nowarn");
     }

diff --git a/checker/src/test/java/org/checkerframework/checker/test/junit/CompilerMessagesTest.java b/checker/src/test/java/org/checkerframework/checker/test/junit/CompilerMessagesTest.java
@@ -19,7 +19,6 @@ public CompilerMessagesTest(List<File> testFiles) {
                 testFiles,
                 org.checkerframework.checker.compilermsgs.CompilerMessagesChecker.class,
                 "compilermsg",
-                "-Anomsgtext",
                 "-Apropfiles=tests/compilermsg/compiler.properties");
     }
 

diff --git a/checker/src/test/java/org/checkerframework/checker/test/junit/DisbarUseTest.java b/checker/src/test/java/org/checkerframework/checker/test/junit/DisbarUseTest.java
@@ -19,7 +19,6 @@ public DisbarUseTest(List<File> testFiles) {
                 testFiles,
                 DisbarUseChecker.class,
                 "disbaruse-records",
-                "-Anomsgtext",
                 "-Astubs=tests/disbaruse-records",
                 "-AstubWarnIfNotFound");
     }

diff --git a/checker/src/test/java/org/checkerframework/checker/test/junit/FenumSwingTest.java b/checker/src/test/java/org/checkerframework/checker/test/junit/FenumSwingTest.java
@@ -18,7 +18,6 @@ public FenumSwingTest(List<File> testFiles) {
                 testFiles,
                 org.checkerframework.checker.fenum.FenumChecker.class,
                 "fenum",
-                "-Anomsgtext",
                 "-Aquals=org.checkerframework.checker.fenum.qual.SwingVerticalOrientation,org.checkerframework.checker.fenum.qual.SwingHorizontalOrientation,org.checkerframework.checker.fenum.qual.SwingBoxOrientation,org.checkerframework.checker.fenum.qual.SwingCompassDirection,org.checkerframework.checker.fenum.qual.SwingElementOrientation,org.checkerframework.checker.fenum.qual.SwingTextOrientation");
         // TODO: check all qualifiers
     }

diff --git a/checker/src/test/java/org/checkerframework/checker/test/junit/FenumTest.java b/checker/src/test/java/org/checkerframework/checker/test/junit/FenumTest.java
@@ -14,11 +14,7 @@ public class FenumTest extends CheckerFrameworkPerDirectoryTest {
      * @param testFiles the files containing test code, which will be type-checked
      */
     public FenumTest(List<File> testFiles) {
-        super(
-                testFiles,
-                org.checkerframework.checker.fenum.FenumChecker.class,
-                "fenum",
-                "-Anomsgtext");
+        super(testFiles, org.checkerframework.checker.fenum.FenumChecker.class, "fenum");
     }
 
     @Parameters

diff --git a/...ker/src/test/java/org/checkerframework/checker/test/junit/FormatterLubGlbCheckerTest.java b/...ker/src/test/java/org/checkerframework/checker/test/junit/FormatterLubGlbCheckerTest.java
@@ -19,12 +19,7 @@ public class FormatterLubGlbCheckerTest extends CheckerFrameworkPerDirectoryTest
      * @param testFiles the files containing test code, which will be type-checked
      */
     public FormatterLubGlbCheckerTest(List<File> testFiles) {
-        super(
-                testFiles,
-                FormatterLubGlbChecker.class,
-                "",
-                "-Anomsgtext",
-                "-AcheckPurityAnnotations");
+        super(testFiles, FormatterLubGlbChecker.class, "", "-AcheckPurityAnnotations");
     }
 
     @Parameters

diff --git a/checker/src/test/java/org/checkerframework/checker/test/junit/FormatterTest.java b/checker/src/test/java/org/checkerframework/checker/test/junit/FormatterTest.java
@@ -16,8 +16,7 @@ public FormatterTest(List<File> testFiles) {
         super(
                 testFiles,
                 org.checkerframework.checker.formatter.FormatterChecker.class,
-                "formatter",
-                "-Anomsgtext");
+                "formatter");
     }
 
     @Parameters

diff --git a/...src/test/java/org/checkerframework/checker/test/junit/FormatterUncheckedDefaultsTest.java b/...src/test/java/org/checkerframework/checker/test/junit/FormatterUncheckedDefaultsTest.java
@@ -17,7 +17,6 @@ public FormatterUncheckedDefaultsTest(List<File> testFiles) {
                 testFiles,
                 org.checkerframework.checker.formatter.FormatterChecker.class,
                 "formatter",
-                "-Anomsgtext",
                 "-AuseConservativeDefaultsForUncheckedCode=-source,bytecode");
     }
 

diff --git a/checker/src/test/java/org/checkerframework/checker/test/junit/GuiEffectTest.java b/checker/src/test/java/org/checkerframework/checker/test/junit/GuiEffectTest.java
@@ -17,8 +17,7 @@ public GuiEffectTest(List<File> testFiles) {
         super(
                 testFiles,
                 org.checkerframework.checker.guieffect.GuiEffectChecker.class,
-                "guieffect",
-                "-Anomsgtext");
+                "guieffect");
         // , "-Alint=debugSpew");
     }
 

diff --git a/...src/test/java/org/checkerframework/checker/test/junit/I18nFormatterLubGlbCheckerTest.java b/...src/test/java/org/checkerframework/checker/test/junit/I18nFormatterLubGlbCheckerTest.java
@@ -19,12 +19,7 @@ public class I18nFormatterLubGlbCheckerTest extends CheckerFrameworkPerDirectory
      * @param testFiles the files containing test code, which will be type-checked
      */
     public I18nFormatterLubGlbCheckerTest(List<File> testFiles) {
-        super(
-                testFiles,
-                I18nFormatterLubGlbChecker.class,
-                "",
-                "-Anomsgtext",
-                "-AcheckPurityAnnotations");
+        super(testFiles, I18nFormatterLubGlbChecker.class, "", "-AcheckPurityAnnotations");
     }
 
     @Parameters

diff --git a/checker/src/test/java/org/checkerframework/checker/test/junit/I18nFormatterTest.java b/checker/src/test/java/org/checkerframework/checker/test/junit/I18nFormatterTest.java
@@ -17,8 +17,7 @@ public I18nFormatterTest(List<File> testFiles) {
         super(
                 testFiles,
                 org.checkerframework.checker.i18nformatter.I18nFormatterChecker.class,
-                "i18n-formatter",
-                "-Anomsgtext");
+                "i18n-formatter");
     }
 
     @Parameters

diff --git a/...test/java/org/checkerframework/checker/test/junit/I18nFormatterUncheckedDefaultsTest.java b/...test/java/org/checkerframework/checker/test/junit/I18nFormatterUncheckedDefaultsTest.java
@@ -18,7 +18,6 @@ public I18nFormatterUncheckedDefaultsTest(List<File> testFiles) {
                 testFiles,
                 org.checkerframework.checker.i18nformatter.I18nFormatterChecker.class,
                 "i18n-formatter",
-                "-Anomsgtext",
                 "-AuseConservativeDefaultsForUncheckedCode=-source,bytecode");
     }
 

diff --git a/checker/src/test/java/org/checkerframework/checker/test/junit/I18nTest.java b/checker/src/test/java/org/checkerframework/checker/test/junit/I18nTest.java
@@ -14,11 +14,7 @@ public class I18nTest extends CheckerFrameworkPerDirectoryTest {
      * @param testFiles the files containing test code, which will be type-checked
      */
     public I18nTest(List<File> testFiles) {
-        super(
-                testFiles,
-                org.checkerframework.checker.i18n.I18nChecker.class,
-                "i18n",
-                "-Anomsgtext");
+        super(testFiles, org.checkerframework.checker.i18n.I18nChecker.class, "i18n");
     }
 
     @Parameters

diff --git a/checker/src/test/java/org/checkerframework/checker/test/junit/I18nUncheckedDefaultsTest.java b/checker/src/test/java/org/checkerframework/checker/test/junit/I18nUncheckedDefaultsTest.java
@@ -18,7 +18,6 @@ public I18nUncheckedDefaultsTest(List<File> testFiles) {
                 testFiles,
                 org.checkerframework.checker.i18n.I18nChecker.class,
                 "i18n",
-                "-Anomsgtext",
                 "-AuseConservativeDefaultsForUncheckedCode=-source,bytecode");
     }
 

diff --git a/checker/src/test/java/org/checkerframework/checker/test/junit/IndexTest.java b/checker/src/test/java/org/checkerframework/checker/test/junit/IndexTest.java
@@ -15,11 +15,7 @@ public class IndexTest extends CheckerFrameworkPerDirectoryTest {
      * @param testFiles the files containing test code, which will be type-checked
      */
     public IndexTest(List<File> testFiles) {
-        super(
-                testFiles,
-                org.checkerframework.checker.index.IndexChecker.class,
-                "index",
-                "-Anomsgtext");
+        super(testFiles, org.checkerframework.checker.index.IndexChecker.class, "index");
     }
 
     @Parameters

diff --git a/checker/src/test/java/org/checkerframework/checker/test/junit/InterningTest.java b/checker/src/test/java/org/checkerframework/checker/test/junit/InterningTest.java
@@ -18,8 +18,7 @@ public InterningTest(List<File> testFiles) {
         super(
                 testFiles,
                 org.checkerframework.checker.interning.InterningChecker.class,
-                "interning",
-                "-Anomsgtext");
+                "interning");
     }
 
     @Parameters

diff --git a/checker/src/test/java/org/checkerframework/checker/test/junit/LockSafeDefaultsTest.java b/checker/src/test/java/org/checkerframework/checker/test/junit/LockSafeDefaultsTest.java
@@ -19,8 +19,7 @@ public LockSafeDefaultsTest(List<File> testFiles) {
                 testFiles,
                 org.checkerframework.checker.lock.LockChecker.class,
                 "lock",
-                "-AuseConservativeDefaultsForUncheckedCode=source",
-                "-Anomsgtext");
+                "-AuseConservativeDefaultsForUncheckedCode=source");
     }
 
     @Parameters

diff --git a/checker/src/test/java/org/checkerframework/checker/test/junit/LockTest.java b/checker/src/test/java/org/checkerframework/checker/test/junit/LockTest.java
@@ -14,11 +14,7 @@ public class LockTest extends CheckerFrameworkPerDirectoryTest {
      * @param testFiles the files containing test code, which will be type-checked
      */
     public LockTest(List<File> testFiles) {
-        super(
-                testFiles,
-                org.checkerframework.checker.lock.LockChecker.class,
-                "lock",
-                "-Anomsgtext");
+        super(testFiles, org.checkerframework.checker.lock.LockChecker.class, "lock");
     }
 
     @Parameters

diff --git a/...test/java/org/checkerframework/checker/test/junit/MustCallNoLightweightOwnershipTest.java b/...test/java/org/checkerframework/checker/test/junit/MustCallNoLightweightOwnershipTest.java
@@ -12,7 +12,6 @@ public MustCallNoLightweightOwnershipTest(List<File> testFiles) {
                 testFiles,
                 org.checkerframework.checker.mustcall.MustCallChecker.class,
                 "mustcall-nolightweightownership",
-                "-Anomsgtext",
                 "-AnoLightweightOwnership",
                 // "-AstubDebug");
                 "-nowarn");

diff --git a/checker/src/test/java/org/checkerframework/checker/test/junit/MustCallTest.java b/checker/src/test/java/org/checkerframework/checker/test/junit/MustCallTest.java
@@ -12,7 +12,6 @@ public MustCallTest(List<File> testFiles) {
                 testFiles,
                 org.checkerframework.checker.mustcall.MustCallChecker.class,
                 "mustcall",
-                "-Anomsgtext",
                 // "-AstubDebug");
                 "-nowarn");
     }

diff --git a/...ker/src/test/java/org/checkerframework/checker/test/junit/NestedAggregateCheckerTest.java b/...ker/src/test/java/org/checkerframework/checker/test/junit/NestedAggregateCheckerTest.java
@@ -19,12 +19,7 @@ public class NestedAggregateCheckerTest extends CheckerFrameworkPerDirectoryTest
      * @param testFiles the files containing test code, which will be type-checked
      */
     public NestedAggregateCheckerTest(List<File> testFiles) {
-        super(
-                testFiles,
-                NestedAggregateChecker.class,
-                "",
-                "-Anomsgtext",
-                "-AcheckPurityAnnotations");
+        super(testFiles, NestedAggregateChecker.class, "", "-AcheckPurityAnnotations");
     }
 
     @Parameters

diff --git a/checker/src/test/java/org/checkerframework/checker/test/junit/NullnessAssertsTest.java b/checker/src/test/java/org/checkerframework/checker/test/junit/NullnessAssertsTest.java
@@ -25,7 +25,6 @@ public NullnessAssertsTest(List<File> testFiles) {
                 "nullness",
                 "-AcheckPurityAnnotations",
                 "-AassumeAssertionsAreEnabled",
-                "-Anomsgtext",
                 "-Xlint:deprecation",
                 "-Alint=soundArrayCreationNullness,"
                         + NullnessChecker.LINT_REDUNDANTNULLCOMPARISON);

diff --git a/...java/org/checkerframework/checker/test/junit/NullnessAssumeAssertionsAreDisabledTest.java b/...java/org/checkerframework/checker/test/junit/NullnessAssumeAssertionsAreDisabledTest.java
@@ -20,7 +20,6 @@ public NullnessAssumeAssertionsAreDisabledTest(List<File> testFiles) {
                 org.checkerframework.checker.nullness.NullnessChecker.class,
                 "nullness",
                 "-AassumeAssertionsAreDisabled",
-                "-Anomsgtext",
                 "-Xlint:deprecation");
     }
 

diff --git a/checker/src/test/java/org/checkerframework/checker/test/junit/NullnessAssumeKeyForTest.java b/checker/src/test/java/org/checkerframework/checker/test/junit/NullnessAssumeKeyForTest.java
@@ -25,7 +25,6 @@ public NullnessAssumeKeyForTest(List<File> testFiles) {
                 "nullness",
                 "-AcheckPurityAnnotations",
                 "-AassumeKeyFor",
-                "-Anomsgtext",
                 "-Xlint:deprecation",
                 "-Alint=soundArrayCreationNullness,"
                         + NullnessChecker.LINT_REDUNDANTNULLCOMPARISON);

diff --git a/...c/test/java/org/checkerframework/checker/test/junit/NullnessCheckCastElementTypeTest.java b/...c/test/java/org/checkerframework/checker/test/junit/NullnessCheckCastElementTypeTest.java
@@ -19,8 +19,7 @@ public NullnessCheckCastElementTypeTest(List<File> testFiles) {
                 testFiles,
                 org.checkerframework.checker.nullness.NullnessChecker.class,
                 "nullness",
-                "-AcheckCastElementType",
-                "-Anomsgtext");
+                "-AcheckCastElementType");
     }
 
     @Parameters

diff --git a/checker/src/test/java/org/checkerframework/checker/test/junit/NullnessConcurrentTest.java b/checker/src/test/java/org/checkerframework/checker/test/junit/NullnessConcurrentTest.java
@@ -19,8 +19,7 @@ public NullnessConcurrentTest(List<File> testFiles) {
                 testFiles,
                 org.checkerframework.checker.nullness.NullnessChecker.class,
                 "nullness",
-                "-AconcurrentSemantics",
-                "-Anomsgtext");
+                "-AconcurrentSemantics");
     }
 
     @Parameters

diff --git a/...er/src/test/java/org/checkerframework/checker/test/junit/NullnessGenericWildcardTest.java b/...er/src/test/java/org/checkerframework/checker/test/junit/NullnessGenericWildcardTest.java
@@ -29,8 +29,7 @@ public NullnessGenericWildcardTest(List<File> testFiles) {
                 "nullness",
                 // This test reads bytecode .class files created by NullnessGenericWildcardLibTest
                 "-cp",
-                "dist/checker.jar:tests/build/testclasses/",
-                "-Anomsgtext");
+                "dist/checker.jar:tests/build/testclasses/");
     }
 
     @Parameters

diff --git a/...er/src/test/java/org/checkerframework/checker/test/junit/NullnessInvariantArraysTest.java b/...er/src/test/java/org/checkerframework/checker/test/junit/NullnessInvariantArraysTest.java
@@ -19,8 +19,7 @@ public NullnessInvariantArraysTest(List<File> testFiles) {
                 testFiles,
                 org.checkerframework.checker.nullness.NullnessChecker.class,
                 "nullness",
-                "-AinvariantArrays",
-                "-Anomsgtext");
+                "-AinvariantArrays");
     }
 
     @Parameters

diff --git a/...er/src/test/java/org/checkerframework/checker/test/junit/NullnessJSpecifySamplesTest.java b/...er/src/test/java/org/checkerframework/checker/test/junit/NullnessJSpecifySamplesTest.java
@@ -41,8 +41,7 @@ public NullnessJSpecifySamplesTest(List<File> testFiles) {
                 testFiles,
                 org.checkerframework.checker.nullness.NullnessChecker.class,
                 "../../../jspecify/samples",
-                Collections.singletonList("../../jspecify/build/libs/jspecify-0.0.0-SNAPSHOT.jar"),
-                "-Anomsgtext");
+                Collections.singletonList("../../jspecify/build/libs/jspecify-0.0.0-SNAPSHOT.jar"));
     }
 
     @Parameters

diff --git a/checker/src/test/java/org/checkerframework/checker/test/junit/NullnessJavacErrorsTest.java b/checker/src/test/java/org/checkerframework/checker/test/junit/NullnessJavacErrorsTest.java
@@ -18,7 +18,6 @@ public NullnessJavacErrorsTest(File testFile) {
                 org.checkerframework.checker.nullness.NullnessChecker.class,
                 "nullness",
                 "-AcheckPurityAnnotations",
-                "-Anomsgtext",
                 "-Xlint:deprecation",
                 "-Alint=soundArrayCreationNullness,"
                         + NullnessChecker.LINT_REDUNDANTNULLCOMPARISON);

diff --git a/checker/src/test/java/org/checkerframework/checker/test/junit/NullnessJavadocTest.java b/checker/src/test/java/org/checkerframework/checker/test/junit/NullnessJavadocTest.java
@@ -19,8 +19,7 @@ public NullnessJavadocTest(List<File> testFiles) {
                 testFiles,
                 org.checkerframework.checker.nullness.NullnessChecker.class,
                 "nullness",
-                toolsJarList(),
-                "-Anomsgtext");
+                toolsJarList());
     }
 
     /**

diff --git a/checker/src/test/java/org/checkerframework/checker/test/junit/NullnessNoDelombokTest.java b/checker/src/test/java/org/checkerframework/checker/test/junit/NullnessNoDelombokTest.java
@@ -31,7 +31,6 @@ public NullnessNoDelombokTest(List<File> testFiles) {
                 testFiles,
                 org.checkerframework.checker.nullness.NullnessChecker.class,
                 "nullness-nodelombok",
-                "-Anomsgtext",
                 "-nowarn");
     }
 

diff --git a/checker/src/test/java/org/checkerframework/checker/test/junit/NullnessNullMarkedTest.java b/checker/src/test/java/org/checkerframework/checker/test/junit/NullnessNullMarkedTest.java
@@ -22,8 +22,7 @@ public NullnessNullMarkedTest(List<File> testFiles) {
                 testFiles,
                 org.checkerframework.checker.nullness.NullnessChecker.class,
                 "nullness",
-                Collections.singletonList("../../jspecify/build/libs/jspecify-0.0.0-SNAPSHOT.jar"),
-                "-Anomsgtext");
+                Collections.singletonList("../../jspecify/build/libs/jspecify-0.0.0-SNAPSHOT.jar"));
     }
 
     @Parameters

diff --git a/...rc/test/java/org/checkerframework/checker/test/junit/NullnessPermitClearPropertyTest.java b/...rc/test/java/org/checkerframework/checker/test/junit/NullnessPermitClearPropertyTest.java
@@ -18,7 +18,6 @@ public NullnessPermitClearPropertyTest(List<File> testFiles) {
                 testFiles,
                 org.checkerframework.checker.nullness.NullnessChecker.class,
                 "nullness",
-                "-Anomsgtext",
                 "-Alint=permitClearProperty");
     }
 

diff --git a/checker/src/test/java/org/checkerframework/checker/test/junit/NullnessRecordsTest.java b/checker/src/test/java/org/checkerframework/checker/test/junit/NullnessRecordsTest.java
@@ -21,7 +21,6 @@ public NullnessRecordsTest(List<File> testFiles) {
                 NullnessChecker.class,
                 "nullness-records",
                 "-AcheckPurityAnnotations",
-                "-Anomsgtext",
                 "-Xlint:deprecation");
     }
 

diff --git a/checker/src/test/java/org/checkerframework/checker/test/junit/NullnessReflectionTest.java b/checker/src/test/java/org/checkerframework/checker/test/junit/NullnessReflectionTest.java
@@ -19,8 +19,7 @@ public NullnessReflectionTest(List<File> testFiles) {
                 testFiles,
                 org.checkerframework.checker.nullness.NullnessChecker.class,
                 "nullness",
-                "-AresolveReflection",
-                "-Anomsgtext");
+                "-AresolveReflection");
     }
 
     @Parameters