// DrJava saved history v2
Thief bill = new Thief(.25);//End of Interaction//
Thief george = new Thief(.5);//End of Interaction//
bill.getStash()//End of Interaction//
bill.getSharedStash()//End of Interaction//
bill.rob(800)//End of Interaction//
bill.getStash()//End of Interaction//
bill.getSharedStash()//End of Interaction//
bill.isFree()//End of Interaction//
george.rob(1000)//End of Interaction//
george.getStash()//End of Interaction//
george.getSharedStash()//End of Interaction//
bill.getSharedStash()//End of Interaction//
bill.getCapturedAndAttemptBail(400)//End of Interaction//
bill.isFree()//End of Interaction//
bill.getStash()//End of Interaction//
bill.getSharedStash()//End of Interaction//
george.getStash()//End of Interaction//
george.getCapturedAndAttemptBail(750)//End of Interaction//
george.isFree()//End of Interaction//
george.getStash()//End of Interaction//
george.getSharedStash()//End of Interaction//
bill.getSharedStash()//End of Interaction//