A simple tool checking for serious bugs in Java exception handler