// DrJava saved history v2
RegTest.testCase1()//End of Interaction//
RegTest.testCase2()//End of Interaction//
RegTest.testCase4()//End of Interaction//
RegTest.testCase1()//End of Interaction//
RegTest.testCase2()//End of Interaction//
RegTest.testCase3()//End of Interaction//
RegTest.testCase4()//End of Interaction//
RegTest.testCase5()//End of Interaction//
RegTest.testCase6()//End of Interaction//