Pokud výjimka nikde v těle numůže vzniknout, překladač to zdetekuje a vypíše:
... Exception XXX is never thrown in YYY ...
Příklad s propouštěnou výjimkou -Otevření souboru s propouštěnou výjimkou
modifikatory návratovýTyp nazevMetody(argumenty) throws TypPropouštěnéVýjimky {
... tělo metody, kde může výjimka vzniknout ...
}