A small Java utility library for exception translation