Removing unreachable catch blocks