Case with a number as model name

[jginternational]

When the name of a case is just a number, the Json prints a number (not a string) in three different places. This gives an execution error. It shoult be printed as a string (AND it could appear just once in the Json file??)

GiD model name -> 3.gid
ProjectParameters.json
What is happening?
{"model_name" : 3}
How should it be?
{"model_name" : "3"}