Although Wikipedia suggests that Hennelly's first name is Gerard (as do all the wikipedia copy/past sites), I am not aware of any in-story evidence to back this up. Jerry could be short for quite a number of other names as well (Jerome, Gerald etc).
Singing Librarian 16:18, 6 March 2009 (UTC)