code: private static String formatTime(long time) {
      int sec = (int) ((time / 1000) % 60);
      int ms = (int) (time % 1000);
      return String.format("%02d.%03d", sec, ms);
    }
docs: Return the sec.ms part of time (if time = "20:06:11.566",  "11.566")