Various clarifications to Java/LLVM documentation
Various clarifications to Java/LLVM documentation

GaloisInc/saw-script,GaloisInc/saw-script,GaloisInc/saw-script,GaloisInc/saw-script,GaloisInc/saw-script