Remove document listener that was previously added to the document
with given priority or use default Document.removeDocumentListener(DocumentListener)
if the given document is not listener priority aware.
Suitable for document implementations - removes document listener
from document with given priority and does not do anything
if the given document is not listener priority aware.