replaced catch(...) by JML_CATCH_ALL.