freemaker时间格式转换，精确到毫秒

在开发中，需要将时间以

2016-09-20 12:00:01:723

的形式里用freemaker展示在页面上，找了好久，终于找到了答案。

"createTime":"${(it.createTime)?string('HH:mm:ss:SSS')}"

其中，createDate是Date类型的数据。