in src/main/resources/patch/SplashManager.java [141:149]
private static void setVisible(boolean value) {
Splash splash = SPLASH_WINDOW;
if (splash != null) {
splash.setVisible(value);
if (value) {
splash.paint(splash.getGraphics());
}
}
}