DirtyBufferValidationState.this.documentChanged();
NoStampValidationState.this.documentChanged();
		public void documentChanged(DocumentEvent event) {			DirtyBufferValidationState.this.documentChanged();		}