@Anno
public class Middle extends Top {
  public void middle() {}
}