finally {
// Let's start with new options.
if (options == null)
options = createOptions();
}
i18n = new I18nManager(new XMLI18nCatalogProvider(getProjectShortName()), getDefaultLocale());
if (options.isSplashScreenShown())
splashScreen = new SplashScreen(getProjectVersionedName(), getSplashImage(), getSplashColor(), getSplashWindowIconFile());
i18n.addI18nListener(new I18nListener() {
public void signalI18nChange(I18nManager i8n) {
options.setLocale(i8n.getCurrentLocale());