code: public Proxy setPort( int port )
      {
          if ( this.port == port )
          {
              return this;
          }
          return new Proxy( type, host, port, auth );
      }
docs: Sets the port number for the proxy.
  
  @param port The port number for the proxy.
  @return The new proxy, never {@code null}.