Alternatively, perhaps it's related to "Jack the Giant Killer," but that's a different name. Another possibility is that "Jolly Jack" could be a nickname from a book or a movie that's not widely known. If not that, maybe it's a misspelling of another term. For example, "Jolly Roger" is the pirate flag, but that's a stretch.