A convenient library for handling Java exceptions