less garbage in addDocumentListener
PostHighlightingPass: move service loading away from edt