/* cp from

  *  https://hg.risc.uni-linz.ac.at/wneuper/isac/file/84f1ca6a6dd9/isac-java/src/java/isac/bridge/BridgeMain.java#l85

     85         log(1, "-->ISA: try connection with ISABELLE_HOME=\"" + isabelle_home + "\"...");

     86         Setup setup = new Setup(Paths.get(isabelle_home), JPlatform.guess(),

     87           new Version("2015"), Setup.defaultPackageName());

     88         Environment env = JSetup.makeEnvironment(setup); // ohne Duration

     89         Configuration config = Configuration.fromBuiltin("libisabelle_Isac");

     90         JSystem sys = JSystem.create(env, config);

     92         

     93         connection_to_kernel_ = sys;

     94         log(1, "<--ISA: connection established");

  */

 /*         

 package info.hupel.isabelle.examples.java;

 import java.nio.file.Path;

 import java.nio.file.Paths;

 import java.util.Arrays;

 import info.hupel.isabelle.api.*;

 import info.hupel.isabelle.japi.*;

 import info.hupel.isabelle.setup.*;

 public class Hello_PIDE {

   public static void main(String args[]) {

     JResources res = JResources.dumpIsabelleResources();

     Configuration config = Configuration.simple("Protocol");

     Environment env = JSetup.makeEnvironment(JSetup.defaultSetup(new Version.Stable("2017")), res);

     JSystem sys = JSystem.create(env, config);

     String response = sys.invoke(Operations.HELLO, "world");

     System.out.println(response);

     sys.dispose();

   }

 }

  */

         Path path = java.nio.file.Paths.get

           ("/home/wneuper/.isabelle/isabisac/heaps/polyml-5.7.1_x86-linux/libisabelle_Isac");