Added Document.DocumentListener for onDocumentRedo and onDocumentUndo interface calls