/** Set the request's port number. */
 public void setPort(int port) {
   setInt16(INDEX_PORT, port);
 }