   (fi:common-lisp fi:common-lisp-buffer-name
 		  fi:common-lisp-directory
 		  fi:common-lisp-image-name)
- 
-;; Don't break if specware not loaded
-  (when openSpecWindow
-    (fi:eval-in-lisp "(progn (when (find-package \"SPECWAREUI\")
-		        (funcall (intern \"OPENSPECWINDOW\" \"SPECWAREUI\")))
-		        \"Done\")")))
+  (sleep-for 1))
 
 ;; (simulate-input-expression "t")
 (defun simulate-input-expression (str)

    (concat (getenv "SPECWARE4")
	    "/Applications/Specware/bin/"
	    ; This could be elaborated
	    (if (equal (getenv "OSTYPE") "linux") "linux" "windows")
	    "/Specware4.dxl"))

  (fi:common-lisp fi:common-lisp-buffer-name

;; in the following we execute a Specware application (rather than run Lisp
;; with a Specware world);

(defun run-lisp-application ()
  (interactive "P")
  (when (inferior-lisp-running-p)
    (fi:exit-lisp)
    (sleep-for 2))
  (setq fi:common-lisp-host "localhost")
;;
;; fi:common-lisp-directory is the directory in which the lisp subprocess will
