WangRui: Convert all specifications to JSON.