@Override
 public void growArray(int oldSize, int newSize) {
   super.growArray(oldSize, newSize);
   final int[][] newStateSets = new int[newSize][];
   System.arraycopy(mStateSets, 0, newStateSets, 0, oldSize);
   mStateSets = newStateSets;
 }
 @Override
 public void growArray(int oldSize, int newSize) {
   super.growArray(oldSize, newSize);
   int[] newInts = new int[newSize];
   System.arraycopy(mLows, 0, newInts, 0, oldSize);
   mLows = newInts;
   newInts = new int[newSize];
   System.arraycopy(mHighs, 0, newInts, 0, oldSize);
   mHighs = newInts;
 }
 @DSGenerator(
     tool_name = "Doppelganger",
     tool_version = "2.0",
     generated_on = "2013-12-30 12:34:11.148 -0500",
     hash_original_method = "CF45914111E05D752375948053626E9D",
     hash_generated_method = "DB8631F608D962E1CC5946A6A27F962A")
 @Override
 public void growArray(int oldSize, int newSize) {
   super.growArray(oldSize, newSize);
   final int[][] newStateSets = new int[newSize][];
   System.arraycopy(mStateSets, 0, newStateSets, 0, oldSize);
   mStateSets = newStateSets;
 }