A little patch that allows catching of exceptions that inherit a mapped exception class