anchor.diff:    (if (not (null dir))
         (defparameter JGEN::baseDir (string dir))
       ())
  -  (format t "~A~%" JGEN::baseDir)
  -  )
  +  (format t "~A~%" JGEN::baseDir))
   
   (defun swj-config-make-public (&optional ops)
     (defparameter #+allegro excl::*redefinition-warnings*
  
positive.code: ;;; --------------------------------------------------------------------------------
  
  (defun swj (x &optional y)
        (Specware::evaluateJavaGen_fromLisp-2 x (if y (cons :|Some| y)
  						'(:|None|)))
        (values))
  
  #+allegro
  (top-level:alias ("swj" :case-sensitive) (&optional &rest args)
     (let ((r-args (if (not (null args))
  		     args
  		   *last-swj-args*)))
     (if r-args
         (progn (setq *last-swj-args* args)
  	      (funcall 'swj (string (first r-args))
  		       (if (not (null (second r-args)))
  			   (string (second r-args)) nil)))
       (format t "No previous unit evaluated~%"))))
  
  (defun swj-config-pkg (&optional pkg)
    (defparameter #+allegro excl::*redefinition-warnings*
        #+Lispworks lispworks::*redefinition-action*
        nil)
    (if (not (null pkg))
        (defparameter JGEN::packageName (string pkg))
      ())
    (format t "~A~%" JGEN::packageName)
    )
  
  (defun swj-config-dir (&optional dir)
    (defparameter #+allegro excl::*redefinition-warnings*
  
negative.code: 
  #+mcl
  (let ((ccl::*warn-if-redefine-kernel* nil))
    (defun ccl::check-toplevel-command (form)
      (let* ((cmd (if (consp form) (car form) form))
  	   (args (if (consp form) (cdr form))))
        (if (keywordp cmd)
  	  (dolist (g ccl::*active-toplevel-commands*
  		     (cl::invoke-command-interactive cmd))
  	    (when (let* ((pair (assoc cmd (cdr g))))
  		    (if pair 
  			(progn (apply (cadr pair) args)
  			       t)))
  	      (return t))))))
    )
  
  #+allegro
  (top-level:alias ("ls" :string) (&optional (str ""))
  