anchor.diff:        (mp:process-kill p)))
     (values))
   
  +(defvar *java-listener-name* "Java Listener")
  +(defvar *end-method-string* "--end--arguments--")
  +
   (defun java-listener-running-p ()
     (loop for process in sys::*all-processes* 
         for name = (mp::process-name process)
  -      if (search  "LinkerListener" name)
  +      if (search *java-listener-name* name)
         do (return t)
         finally (return nil)))
   
  
positive.code: (defvar *java-socket-stream*)
  
  (defun init-java-listener ()
    (setq *java-socket* (socket:make-socket :connect :passive :local-port 4323))
    (setq *java-socket-stream* (socket:accept-connection *java-socket*))
    (loop while (open-stream-p *java-socket-stream*)
  	   do (socket::wait-for-input *java-socket-stream*)
  	      (when (listen *java-socket-stream*)
  		(let ((form (read *java-socket-stream* :eof-errorp nil :eof-value :end)))
  		  (if (eq form :end)
  		      (return)
  		    (ignore-errors (eval form))))))
    (close *java-socket-stream*)
    ;; close socket
    )
  
  (defun jstatic (method cl &rest args)
    (format *java-socket-stream* "~a ~a(" method cl)
    (loop for arg in args
           do (format *java-socket-stream* " ~a" arg))
    (format *java-socket-stream* ")")
    (force-output *java-socket-stream*))
  
  (defvar *current-path-name*)
  
negative.code:   (let* ((full-file-name (namestring (pathname (concatenate 'string path-name "/" file-name))))
  	 (file-name-uri (concatenate 'string "/Gui/src/" file-name))
  	 (full-path-name (cl-user::path-namestring full-file-name)))
      (format t "~% FULL FILE NAME ~S  ~% URI ~S ~% PATH-NAME ~S "
  	    full-file-name file-name-uri full-path-name)
      (format t "~% CURRENT DIRECTORY ~S" (excl::current-directory))
      (specware::change-directory  full-path-name)
      (setq *default-pathname-defaults* (excl::current-directory))
  