// ----------------------------------------------------------
 public int mostRecentSubmissionNo() {
   return aSubmission.latestSubmission().submitNumber();
 }
 // ----------------------------------------------------------
 public boolean isMostRecentSubmission() {
   return aSubmission == aSubmission.latestSubmission();
 }