checker/jtreg/stubs/sample/sample.astub

import org.checkerframework.checker.nullness.qual.Nullable;

package java.lang;

class String {
    String valueOf(@Nullable Object s);
}