docs: static DefaultWorld play(
        final String title, final int width, final int height, final Model model) {
  
      final DefaultWorld window = new DefaultWorld();
  
      try {
        SwingUtilities.invokeAndWait(new Runnable() {
          @Override
          public void run() {
            LOGGER.info("Initializing window on Thread `{}'",
                Thread.currentThread().getName());
            final MainWindow mainWindow = new MainWindow(
                title, model, window, width, height);
            final GraphicsDevice device = GraphicsEnvironment
                .getLocalGraphicsEnvironment()
                .getDefaultScreenDevice();
            if (width <= 0 || height <= 0) {
              if (device.isFullScreenSupported()) {
                device.setFullScreenWindow(mainWindow);
              } else {
                LOGGER.info(
                    "Fullscreen is not supported."
                        + " Showing ordinary window instead.");
                mainWindow.setVisible(true);
              }
            } else {
              mainWindow.setVisible(true);
            }
          }
        });
      } catch (InvocationTargetException | InterruptedException exc) {
        LOGGER.warn("Unexpected exception", exc);
      }
      return window;
    }