//cp from Hello_PIDE.scala, two unresolved problems

 import info.hupel.isabelle.Platform

 import info.hupel.isabelle.api._

 import info.hupel.isabelle.japi._

 import info.hupel.isabelle.setup._

 import java.nio.file.Path;

 class ToKernel {

   //these two will go into a property file:

   val path_str = "/home/wneuper/.isabelle/isabisac/heaps/polyml-5.7.1_x86-linux/libisabelle_Isac"

   val version_str = "2018"

   val path = java.nio.file.Paths.get(path_str)	

   val platform = Platform.guess.getOrElse(sys.error(Setup.UnknownPlatform.explain))

   val version = Version.Stable(version_str)

   val setup = Setup(path, platform, version)

   val res = Resources.dumpIsabelleResources().right.get

   val config = Configuration.simple("Protocol")

   val env = setup.makeEnvironment(res, Nil)           //problem with scheduler

   def connect : JSystem = System.create(env, config)  //problem with types

 }