public static void hide()

in src/main/resources/patch/SplashManager.java [169:187]


  public static void hide() {
    Window window = SPLASH_WINDOW;
    if (window == null) {
      window = PROJECT_FRAME;
      if (window == null) {
        return;
      }
      else {
        PROJECT_FRAME = null;
      }
    }
    else {
      SPLASH_WINDOW = null;
    }

    StartUpMeasurer.addInstantEvent("splash hidden");
    window.setVisible(false);
    window.dispose();
  }