A convenient library for processing Java exceptions