code: void refresh()
      {
          ListIterator<Document<K>> listIterator = documents_.listIterator();
          while (listIterator.hasNext())
          {
              if (listIterator.next() == null)
                  listIterator.remove();
          }
      }
docs: Delete removed documents from the internal container.