 	     (eval-in-lisp-in-order ":exit")
 	     (sit-for 5)
 	     (while (inferior-lisp-running-p)
-	       (sit-for 2))
+	       (sit-for 4))
 	     (run-plain-lisp 1)
 	     (eval-in-lisp-in-order "(cl:load \"load.lisp\")")
 	     (eval-in-lisp-in-order "(Bootstrap-Spec::compileAll)")))))

        (specware-build in-current-dir? nil 'boot)
      (progn (specware-build-command "%S --dynamic-space-size %S" specware-executable *sbcl-size*) 
             (sit-for 5)
             (specware-build-command "(progn (cl:time (cl-user::boot)) %s (cl-user::quit))"
                                     (specware-build-eval-emacs-str "(specware-build %s nil t)"
                                                                    in-current-dir?))))))


        (when (file-exists-p specware4-lisp)
          (copy-file specware4-lisp (concat lisp-dir "/Specware4-saved.lisp") t))
        (copy-file specware4-base-lisp specware4-lisp t))
      (sit-for 4)
      (eval-in-lisp-in-order
       (format "(cl:load %S)"
               (concat *specware4-dir "/Applications/Handwritten/Lisp/load-utilities.lisp")))
