Simplified buggy gcc-specific js exception handling code.
replaced catch(...) by JML_CATCH_ALL.