UN'ULTERIORE VARIANTE
l'azione da svolgere in caso di inserimento o rimo-zione di caratteri è identica, quindi i due metodi
void insertUpdate(DocumentEvent e);
void removeUpdate(DocumentEvent e);
saranno identici (purtroppo vanno comunque imple-mentati entrambi)
Il metodo changedUpdate(DocumentEvent e) è pure inutile, dato che JTextField non lo chiama, ma va comunque formalmente implementato.