If you listen to the Lava Reef music, you can tell that sounds similar. However, they apparently re-did the music entirely from scratch, so maybe none of it is Jacko's music.