src/org/nutz/lang/Times.java
public static String mss(int ms) {
        int sec = ms / 1000;
        ms = ms - sec * 1000;
        return secs(sec) + "." + Strings.alignRight(ms, 3, '0');
    }
public static String mss(int ms) {
        int sec = ms / 1000;
        ms = ms - sec * 1000;
        return secs(sec) + "." + Strings.alignRight(ms, 3, '0');
    }
根据一个当天的绝对毫秒数，得到一个时间字符串，格式为 "HH:mm:ss.EEE"

@param ms
当天的绝对毫秒数
@return 时间字符串