Criteria for Testing Exception-Handling Constructs in Java Programs