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 ...
}