Add millisecond timestamp flags to Const.java