// ----
// EEE
if( prefsVersion == 0.0 ) { // means no preferences found, so display splash screen
// layoutWindows( getStandardLayout(), true );
new WelcomeScreen( this );
}
if( warnings != null ) {
for( int i = 0; i < warnings.size(); i++ ) {
System.err.println( warnings.get( i ));