1.1 --- a/isac-java/src/java/isac/bridge/BridgeMain.java	Tue Dec 18 08:05:43 2018 +0100
     1.2 +++ b/isac-java/src/java/isac/bridge/BridgeMain.java	Wed Dec 19 12:51:51 2018 +0100
     1.3 @@ -117,7 +117,16 @@
     1.4   */
     1.5          /*PIDE*/log(1, "-->ISA: try connection with ISABELLE_HOME=\"" + isabelle_home + "\"...");
     1.6  
     1.7 -        JSystem sys = ToKernel.connect(); //does NOT yet work
     1.8 +        //these two values shall come from BridgeMail.properties
     1.9 +        Path path = java.nio.file.Paths.get   //
    1.10 +          ("/home/wneuper/.isabelle/isabisac/heaps/polyml-5.7.1_x86-linux/libisabelle_Isac");
    1.11 +        String vers = "2018";
    1.12 +        
    1.13 +        JResources res = JResources.dumpIsabelleResources();
    1.14 +        Setup setup = new Setup(path, JPlatform.guess(), new Version.Stable("2018"));
    1.15 +        Environment env = JSetup.makeEnvironment(setup, res);
    1.16 +        //Configuration config = Configuration.fromBuiltin("libisabelle_Isac"); //fromBuiltin is undefined
    1.17 +        JSystem sys = JSystem.create(env, config);
    1.18  
    1.19          /*PIDE*/connection_to_kernel_ = sys;
    1.20          /*PIDE*/log(1, "<--ISA: connection established");