exception handling in java theory