}
};
window.addMouseListener(ma);
Robot robot = new Robot();
robot.click(window, x, y, mask);
robot.waitForIdle();
window.toFront();
// Bogus acceleration may mean the event goes entirely
// elsewhere
if (!gotBug1Event) {
bugList.add(0, Strings.get("Bug1"));