*/
  public void finish () {

    RequestOutputStream o = display.out;
    synchronized (o) {
      o.begin_request (glx.major_opcode, 108, 2);
      o.write_int32 (tag);
      ResponseInputStream i = display.in;
      synchronized (i) {
        i.read_reply (o);
        // We wait for the response to make sure it is really finished.
        // There is no interesting data in there.
        i.skip (32);
      }
    }
  }