void openFiles(String modelName, String[] names, String loadScript) {
		// Eval
		zap();
		// keep old screen image while new file is being loaded
		// forceRefresh();
		long timeBegin = System.currentTimeMillis();
		fileManager.openFiles(modelName, names, loadScript);
		long ms = System.currentTimeMillis() - timeBegin;
		for (int i = 0; i < names.length; i++) {
			setStatusFileLoaded(1, names[i], "", modelManager.getModelSetName(), null, null);
		}
		Logger.info("openFiles(" + names.length + ") " + ms + " ms");
	}