Child.java

public class Child extends Parent {

  public Child(/*@ non_null */ Integer ooo) {
    super(ooo);
  }
}