JSONIC における java.util.Date

JSONIC のエンコード、デコードするデータに、java.util.Date を含めると、
JSON文字列は、1970 年 1 月 1 日 00:00:00 GMT からのミリ秒数
つまり java.util.Date の getTime() の結果のlong値になる。

{"date":1320852289822}

みたいになる。
しかし、このJSON文字列のDate値を yyyy/MM/dd HH:mm:ss.SSS の書式にしたければ、
変換Objectのクラスの Date フィールドに、@JSONHintアノテーションで書式を指定する。

public class Foo{
    @JSONHint(format="yyyy/MM/dd HH:mm:ss.SSS")
    public Date date;
　　：
}

JSON文字列は、、

{"date":"2011/11/10 00:24:49.822"}

のようにエンコードされる。