Have you checked John's Will? https://familysearch.org/pal:/MM9.3.1/TH-1-19445-68672-53?cc=1867501&wc=10922106 is the Link. It is continued on the next page. Anyway, the name of his wife looks like Mary. Could he have had a second wife after Harty? I'm sure this Mary is NOT May or Mayo - as she was wife of John's son John.