[autounfudge] make use of JVM eval server