public void setSubmissionTime(double clockTime)
    {
        if (clockTime < 0.0 || index_ < 0) {
            return;
        }

        Resource res = resList_.get(index_);
        res.submissionTime = clockTime;

        if (record_) {
            write( "Sets the submission time to " + num_.format(clockTime) );
        }
    }