La classe Lettore richiede l'insrimento di almeno una di queste due correzioni: 1) ogni occorrenza di BufferedReader deve essere prefissa dallo specificatore di package java.io. 2) bisogna aggiungere in testa al file della classe lo statement import java.io.*