@Override
  public void rotate(double theta, double x, double y) {
    log(String.format("rotate(%f, %f, %f)", theta, x, y));
    myPeer.rotate(theta, x, y);
  }
@Override
  public void rotate(double theta, double x, double y)