public class Sub1 extends Super1 {
  public Integer m() {return new Integer(42);}
}