155156157158159160161162163164165
} public void windowOpened(final WindowEvent e) { if (!this.splashed) { EncogWorkbenchSplash splash = new EncogWorkbenchSplash(); splash.process(); this.splashed = true; } } public void windowClosing(final WindowEvent e) {