Comment 1 for bug 722966

The GameVersion class now has a separate 'Integer version' field (which is persistent). This redundantly stores the version number (so a class might have pkey "42/12" and version 12). I thought we had agreed we would simply parse the integer out of the string, so it is not redundantly stored.

I'll change it so there is no explicit field 'version', and instead the getVersion method pulls the version number out of the string. Does anybody object to this change?