Mantis #3907 - removed unneeded lib files

lib/jhall.jar was used by the Java help system, no longer in use.