// DrJava saved history v2
MyInts ints = new MyInts(4);//End of Interaction//
ints.doIt(42);//End of Interaction//
MyInts ints2 = new MyInts(4);//End of Interaction//
ints.doIt();//End of Interaction//