Fix lookup of Java classes from java_class_var
Fix lookup of Java classes from java_class_var

We weren't converting dots to slashes, so qualified class names couldn't
be found.

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