svoid robot_keyRelease(int keyCode) {
  robot_safetyKeyReleaser_remove(keyCode);
  awtRobot().keyRelease(keyCode);
}