// DrJava saved history v2
String fileName = FileChooser.pickAFile();//End of Interaction//
Picture pictureObj = new Picture(fileName);//End of Interaction//
pictureObj.explore();//End of Interaction//
pictureObj.changeRed(.6);//End of Interaction//
pictureObj.explore();//End of Interaction//