code: public void setTimeVal(long t) {
          int seconds = (int) (t / 1000);
          int millis = (int) (t - 1000 * t);
          this.timeVal = new TimeVal(seconds, millis * 1000, 0);
      }
docs: ===================================================================