Bug-353: RobocodeEngine.setVisible() can cause a NullPointerException.