// DrJava saved history v2
Document d = new Document("Gettysburg.txt", "Gettysburg_new.txt")//End of Interaction//
d.getNextToken()//End of Interaction//
d.getNextToken()//End of Interaction//
d.getNextToken()//End of Interaction//
d.getNextToken()//End of Interaction//
d.getNextToken()//End of Interaction//
d.getNextToken()//End of Interaction//
d.getNextToken()//End of Interaction//
d.getNextToken()//End of Interaction//
d.getNextToken()//End of Interaction//
d.getNextToken()//End of Interaction//
d.getNextToken()//End of Interaction//
d.getNextToken()//End of Interaction//
d.outputString("seven")//End of Interaction//
d.closeInput()//End of Interaction//
d.closeOutput()//End of Interaction//