False positive with Objects.toString

[cushon]

After typetools/jdk@8b50438, the nullness checker reports the following false positive. Should the first parameter of Objects.toString be annotated @Nullable instead of @PolyNull?

import java.util.Objects;
import org.checkerframework.checker.nullness.qual.Nullable;

class T {
  void f(@Nullable String s) {
    Objects.toString(s, "").toString();
  }
}

$ ./checker/bin/javac -processor Nullness T.java
...
T.java:6: error: [dereference.of.nullable] dereference of possibly-null reference Objects.toString(s, "")
    Objects.toString(s, "").toString();

[mernst]

Liam, you are right; I should have added @PolyNull only where there was no annotation before.
Thank you for the bug report!