New Post: can't convert Number to String in GeoJSONReader

There is a id property in the geojson string. when I use GeoJSONReader to read the geojson string .I catch an Exception said "JSON can't convert Number to String".I see the source code and find a bug(that I think).

"id = (string)jsonObject["id"]" should write "id = jsonObject["id"].ToString()".Is it right?