Уточнил. Не аварийное завершение, а просто затирание исключением из finally исключения, которое было выброшено раньше. Но всё равно ломает логику, согласен. Кажется, игнорирование будет лучше в этом случае, нет?