MiniJSON, HOTween