Fix silly endianness bug in Java MethodSpecs.
Fix silly endianness bug in Java MethodSpecs.

Booleans were encoded by manually turning a bit into a 32-bit vector.
GaloisInc/saw-script,GaloisInc/saw-script,GaloisInc/saw-script,GaloisInc/saw-script,GaloisInc/saw-script