Il compilatore si accorge delle eccezioni contenute in un metodo

esamina i throw e le dichiarazioni dei metodi

obbliga a mettere tutti i throws necessari

void g()  
 throws Exception 
  { ... }
 // poichè f() contiene g() 
 // può sollevare le eccezioni di g()
 // e questo va dichiarato
void f()  
 throws Exception { 
   //... 
   g(); 
   //... 
}