code: public JobStatus withNewEventId() {
      return new JobStatus(jobId, description, state, Double.NaN, status, getNextEventId());
    }
docs: Creates a copy of this <code>JobStatus</code> with an auto-generated
  event ID.  The event ID will be greater than any previously generated
  event ID.
  @return A copy of this <code>JobStatus</code> with an auto-generated
  event ID.