Added getter for IntStack, and special case removing the max element for MutableSparseIntSet.java