java extraction examples broken

[robdockins]

When running the integration tests with SAW 0.7 and on master.

$ saw-0.7 -j /Library/Java/JavaVirtualMachines/jdk1.8.0_144.jdk/Contents/Home/jre/lib/rt.jar:/Users/rdockins/code/saw-script/intTests/jars/org.sat4j.core.jar:/Users/rdockins/code/saw-script/intTests/../deps/jvm-verifier/jars/bcprov-jdk16-145.jar:/Users/rdockins/code/saw-script/intTests/../deps/jvm-verifier/jars/galois.jar arrays.saw


[18:05:00.192] Loading file "/Users/rdockins/code/saw-script/intTests/test_examples/tmp/examples/java/arrays.saw"
[18:05:00.194] Type errors:
  /Users/rdockins/code/saw-script/intTests/test_examples/tmp/examples/java/arrays.saw:49:14-49:45: Type Mismatch, expected: JavaSetup () -> t.40 but got: TopLevel Term
 at "main" (/Users/rdockins/code/saw-script/intTests/test_examples/tmp/examples/java/arrays.saw:40:5-40:9)
Term is not a function at "main" (/Users/rdockins/code/saw-script/intTests/test_examples/tmp/examples/java/arrays.saw:40:5-40:9)
(maybe a function is applied to too many arguments?)

  /Users/rdockins/code/saw-script/intTests/test_examples/tmp/examples/java/arrays.saw:48:15-48:45: Type Mismatch, expected: JavaSetup () -> t.36 but got: TopLevel Term
 at "main" (/Users/rdockins/code/saw-script/intTests/test_examples/tmp/examples/java/arrays.saw:40:5-40:9)
Term is not a function at "main" (/Users/rdockins/code/saw-script/intTests/test_examples/tmp/examples/java/arrays.saw:40:5-40:9)
(maybe a function is applied to too many arguments?)

It seems java_extract was renamed to jvm_extract without actually updating the examples in which it's used. These are different functions and work differently.

[RyanGlScott]

By sheer coincidence, I discovered this recently and complained about it to @atomb, who claims to have a fix in the works :)

[atomb]

Yeah, I'll be merging a fix shortly.