anchor.diff:  
   (in-package :cl-user)
   
  +(defvar *socket-number* (or (specware::getenv "SpecBeansSocketPort") 4324))
   
   (defun print-result (arg)
     (format t "~% Connection to Java ~A" arg)
  
positive.code: (defun process-unit (path-name file-name)
    (format t "~%PATH NAME ~S ~%FILE NAME ~S" path-name file-name)
    (setq *current-path-name* path-name)
    (let* ((full-file-name (namestring (pathname (concatenate 'string path-name file-name))))
  	 (file-name-uri 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)
  
negative.code:   (mp:process-run-function *java-listener-name* 'java-listener))
  
  (defun java-listener ()
    (setq *java-socket* (socket:make-socket :connect :passive :local-port *socket-number*))
    (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*)
  