UN'ULTERIORE VARIANTE
L'interfaccia DocumentListener dichiara tre metodi:
void insertUpdate(DocumentEvent e);
void removeUpdate(DocumentEvent e);
void changedUpdate(DocumentEvent e);
Il terzo non è mai chiamato da un JTextField, serve solo per altri tipi di componenti
L'oggetto DocumentEvent in realtà è inutile, in quanto cosa sia accaduto è già implicito nel metodo chiamato; esso esiste solo per uniformità.