// DrJava saved history v2
Dictionary dict = new Dictionary("dictionary.txt")//End of Interaction//
dict.isValid("java")//End of Interaction//
dict.isValid("cse")//End of Interaction//
dict.isValid("color")//End of Interaction//
dict.isValid("colour")//End of Interaction//
dict.isValid("computer")//End of Interaction//
dict.isValid("sceince")//End of Interaction//