prova fatta usando Eclipse