Classes related to implementation of the BufferSets feature of jEdit.