Settings.propSplashTextPosX.getInt(),
Settings.propSplashTextPosY.getInt(),
Settings.propSplashForegroundColor.getColor());
}
else {
splash = new DummySplash();
}
splash.showSplash();
/* Initialize the MarkedProgramsList */
MarkedProgramsList.getInstance();