public class UDPdaytime extends UDPPoke {

  static { defaultPort = 13; }

}