Buffer event listenres, and classes internal to jEdit's document model.