static GraphicsDevice defaultScreenDevice() {
  ret GraphicsEnvironment.getLocalGraphicsEnvironment().getDefaultScreenDevice();
}