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