svoid robot_keyPress(int keyCode) {
  robot_safetyKeyReleaser_add(keyCode);
  awtRobot().keyPress(keyCode);
}