It's possible he had some affectionate or playful nicknames within his family or close circle of friends, but those wouldn't be public knowledge.
His professional name, "Jock," was already a shortened version of his birth name, "John Mahoney."