// Auxiliary file for pr702*.

package pack2;
import pack.pr702a2;

public class pr702a3 extends pr702a2 {
  protected static void foo() {}
}