Servlet fix: Servlet is destroyed only when the processing is finished.
Logger now has a property to specify the directory (update jigadm/jigadmin.zip)
Servlet bug fix in GetResource, thanks to James Clark