Могли бы вы объяснить, что такое проверяемые исключения в языке программирования?