compiler/testData/cli/jvm/jsr305/A.java

@javax.annotation.ParametersAreNonnullByDefault
public class A {
    public void foo(String x) {}
}