I think if he wants it for his own usage(playing) and it was provided free, there are no infringements. However, if he a)distributes it, b)decompiles it, or c) breaks anything in an established agreement that may or may not exist(eg. Terms of Service, etc.) it's copyright infringement.
I cannot...