@@ -122,11 +122,11 @@ return getTextComponent().getText(); } } @Override - public void setText(final String l) { + public final void setText(final String l) { synchronized (getDelegateLock()) { // JTextArea.setText() posts two different events (remove & insert). // Since we make no differences between text events, // the document listener has to be disabled while // JTextArea.setText() is called.