I believe ‘Joy to the World’ was adapted from Handel’s ‘Messaiah’.
Handel was a contemporary of Isaac Watts, who wrote the words to “Joy to the World,” but Mason—a fan of Handel—may or may not have adapted melodies from The Messiah to create the song.