Applied patch from Paul (pas1001) to fix memory management bug when catching exceptions.
Applied patch from Paul (pas1001) to fix memory management bug when catching exceptions.

linbox-team/linbox,linbox-team/linbox,linbox-team/linbox,linbox-team/linbox,linbox-team/linbox