static void automate_ctrlPgDn(char c) {
  awtRobot().keyPress(KeyEvent.VK_CONTROL);
  awtRobot().keyPress(KeyEvent.VK_PAGE_DOWN);
  awtRobot().keyRelease(KeyEvent.VK_PAGE_DOWN);
  awtRobot().keyRelease(KeyEvent.VK_CONTROL);
}