JHotDraw7 (containing history information)