code: public void deleteMax() {
  	if (isEmpty())
  	    throw new NoSuchElementException("BST underflow");
  
  	// if both children of root are black, set root to red
  	if (!isRed(root.getLeft()) && !isRed(root.getRight()))
  	    root.setColor(RED);
  
  	root = deleteMax(root);
  	if (!isEmpty()) {
  	    root.setParent(null);
  	    root.setColor(BLACK);
  	}
  	// assert check();
      }
docs: Removes the largest key and associated value from the symbol table.
  
  @throws NoSuchElementException
  if the symbol table is empty