static void robot_leftMouseButtonPressOrRelease_scaled(bool down, double x, double y) {
  int dummyWidth = 100000;
  robot_leftMouseButtonPressOrRelease_scaled(down, iround(x*dummyWidth), iround(y*dummyWidth), dummyWidth);
}

static void robot_leftMouseButtonPressOrRelease_scaled(bool down, int x, int y, int scaledWidth) ctex {
  final new Robot robot;
  int button = InputEvent.BUTTON1_DOWN_MASK;
  dm_moveMouseImmediate_direct_scaled(x, y, scaledWidth);
  if (down)
    robot.mousePress(button);
  else
    robot.mouseRelease(button);
}