}

    public void oneArgCheckForNullCorrectlyDoesNotThrowNpe(@CheckForNull String s) {
      // null?  no problem
    }

    public void oneArgNullableCorrectlyDoesNotThrowNpe(@Nullable String s) {
      // null?  no problem
    }

    public void oneArgCheckForNullCorrectlyThrowsOtherThanNpe(@CheckForNull String s) {
      throw new FooException(); // ok, as long as it's not NullPointerException

          <item index="7" class="java.lang.String" itemvalue="jakarta.annotation.Nullable" />
          <item index="8" class="java.lang.String" itemvalue="javax.annotation.CheckForNull" />
          <item index="9" class="java.lang.String" itemvalue="javax.annotation.Nullable" />
          <item index="10" class="java.lang.String" itemvalue="org.checkerframework.checker.nullness.compatqual.NullableDecl" />