Thank you! You nailed the problem.
We installed on the Windows boxes from an .exe file and onto the server from a .jar file, and discovered we’d used files downloaded at different times, and so they were different versions of 4.1.
We now have the same version on both and everything is working.
Thank you so much for your help and your patience.