doSourceChanged(event.getDocumentEvent().getDocument());
if (event .getDocumentEvent() != null) doSourceChanged(event.getDocumentEvent().getDocument());
			public void textChanged(TextEvent event) {				doSourceChanged(event.getDocumentEvent().getDocument());			}