public synchronized void removeUpdate(DocumentEvent e) { documentChanged(); }
public synchronized void changedUpdate(DocumentEvent e) { documentChanged(); }
public synchronized void insertUpdate(DocumentEvent e) { documentChanged(); }
public synchronized void removeUpdate(DocumentEvent e) { documentChanged(); }
public synchronized void changedUpdate(DocumentEvent e) { documentChanged(); }
public synchronized void insertUpdate(DocumentEvent e) { documentChanged(); }