src/Pure/System/invoke_scala.ML
2011-07-11 wenzelm 2011-07-11 JVM method invocation service via Scala layer;