LA QUALIFICA protected
Un dato o un metodo protected
è come package (il default) per chiunque non sia una classe derivata
ma consente libero accesso a una classe derivata, indipendentemente dal package in cui essa è definita.
Occorre dunque cambiare la protezione
del campo val nella classe Counter