List known JVM method names in method-not-found error message.
List known JVM method names in method-not-found error message.

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