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();
}