id summary reporter owner description status priority milestone component version resolution keywords cc dependencies 712 Milestone S3.c completion cecchet@cs.umass.edu David Irwin Gush integration discussions performed by David Irwin closed major DICLOUD: S3.c Intermediate DICLOUD SPIRAL3 fixed hmussman@bbn.com