На что укажет компилятор при наличии проверяемых исключений

Компилятор Java требует явной обработки проверяемых исключений (наследников Exception, кроме RuntimeException). Если метод может выбросить такое исключение, нужно:

1. Либо объявить его в throws:

void readFile() throws IOException {
    // код, который может бросить IOException
}

2. Либо обработать в try-catch:

void readFile() {
    try {
        // код с возможным IOException
    } catch (IOException e) {
        // обработка
    }
}

Без одного из этих вариантов компилятор выдаст ошибку: "unreported exception XXX; must be caught or declared to be thrown". Это отличает проверяемые исключения от непроверяемых (RuntimeException и Error), которые не требуют явной обработки.