synchronized void setStatusScriptTermination(String statusMessage, int msWalltime) {
		statusMessage = "Jmol script terminated" + (compileError == null ? "" : " ERROR: " + compileError);
		// UNRELIABLE setStatusChanged("scriptTerminated", msWalltime, statusMessage, false);
		if (jmolStatusListener == null)
			return;
		jmolStatusListener.notifyScriptTermination(statusMessage, msWalltime);
	}