code: @Override
    void leaveEnclosingElement() throws IOException {
      depthCounter.decLevel();
      if(tagQ.size() == 0)
        throw new IOException("Tried to exit non-existent enclosing element " +
                  "in EditLog file");
  
      EditsElement element = tagQ.pop();
      printIndents();
      write("</" + element.toString() + ">\n");
    }
docs: Leave enclosing element