SplashScreen.setProgress(60, "Loading plugins...");
pm = PluginManagerFactory.createPluginManager();
pm.addPluginsFrom(IO.pluginDir.toURI(), new OptionLazyActivation());
SplashScreen.setProgress(75, "Loading GUI...");
view = new MapView();
preferences = new Preferences(view);
SplashScreen.setProgress(90, "Opening files...");
open(args);
if (args.length == 0 && Settings.getBoolean("maps.restore", false)) {
int count = Settings.getInt("maps.count", 0);
if (count != 0) {