Ma il descrittivo *@override* è facoltativo e si aggiunge solo per chiarezza di lettura del listato, vero?