code: function Highlight(doc, characterRange, classApplier, converter, id, containerElementId) {
          if (id) {
              this.id = id;
              nextHighlightId = Math.max(nextHighlightId, id + 1);
          } else {
              this.id = nextHighlightId++;
          }
          this.characterRange = characterRange;
          this.doc = doc;
          this.classApplier = classApplier;
          this.converter = converter;
          this.containerElementId = containerElementId || null;
          this.applied = false;
      }
docs: /*----------------------------------------------------------------------------------------------------------------