Piccole modifiche a src/gui/Preferiti.java