Fix class for looking up Java MethodSpec variables
Fix class for looking up Java MethodSpec variables

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