/*
   * The TCP port used in the connection
   */
  int port() {