<font size=2 face="sans-serif">First off, thanks for your patience.  The
thing I was missing was that the build procedure for Debian includes applying
patches to the code.  I was following the build instructions from
the BUILDING.txt file, which doesn't include the Debian-specific instructions.
 That completely explains what I was seeing with inconsistent JAR
file contents.</font><br><br><font size=2 face="sans-serif">I will test each version from +deb7u5
until the problem occurs again and report my results.</font><br><br><font size=2 face="sans-serif">Thanks!</font><br><br><font size=2 face="sans-serif">Allen</font><BR>