Method decrementSize

src/main/java/gate/util/RBTreeMap.java:62–62

()

  private void incrementSize()   { modCount++; size++; }
  private void decrementSize()   { modCount++; size--; }

  /**
    * Constructs a new, empty map, sorted according to the keys' natural