B.java

public class B {

  // private /*  @ spec_public */ int ii;

  public void m() {}
}