* seems to be a bug of the current jpf version: although the default
* of jpf's behaviour should be to automatically close it after the boot
* process has finished, it does not. even if set manually in the jpf preferences
* that jpf should close the splash screen does not help. so we do it manually..
*/
SplashHandler splashHandler = Boot.getSplashHandler();
splashHandler.setVisible(false);
}