Json::ArrayIndex is not used explicitly to make the code be compatible with libjsoncpp 0.5.0.