}
public void setDocument(IDocument document) {
this.document = document;
DefaultDocumentAdapter adapter = new DefaultDocumentAdapter();
adapter.addTextChangeListener(new TextChangeListener() {
@Override
public void textChanged(TextChangedEvent event) {
update();
}