that's what patents are for. If it's not under patent, or expired, then it is public domain, no matter what "the code" of designers is.
Seems like the pinball world has changed, there might have been a time (the 90s) when "the code" was followed, with themes, or toys, or whatever, but jpop is...