Nicknames aren't just short versions of a name. A man called
John may be called
Jack (same number of letters and syllables) or
Johnny (longer on both counts).
The parents in my hypothetical situation may prefer that their child has a formal name to fall back on, and the option to choose which he is called by when he is older.