public IVector(int c){
  vector=new int[Math.max(defaultCapacity,c)];
}

public IVector ( int c ) { vector = new int [ Math . max ( defaultCapacity , c ) ] ; }
constructs a new vector with the specified capacity .
