1.1 --- a/isac-java/src/java/isac/bridge/BridgeMain.java	Mon Dec 17 13:02:16 2018 +0100
     1.2 +++ b/isac-java/src/java/isac/bridge/BridgeMain.java	Tue Dec 18 08:05:43 2018 +0100
     1.3 @@ -117,12 +117,7 @@
     1.4   */
     1.5          /*PIDE*/log(1, "-->ISA: try connection with ISABELLE_HOME=\"" + isabelle_home + "\"...");
     1.6  
     1.7 -        JResources res = JResources.dumpIsabelleResources();
     1.8 -        Path path = java.nio.file.Paths.get
     1.9 -          ("/home/wneuper/.isabelle/isabisac/heaps/polyml-5.7.1_x86-linux/libisabelle_Isac");
    1.10 -        Configuration config = Configuration.simple("Protocol");
    1.11 -        Environment env = JSetup.makeEnvironment(JSetup.defaultSetup(new Version.Stable("2018")), res);
    1.12 -        JSystem sys = JSystem.create(env, config);
    1.13 +        JSystem sys = ToKernel.connect(); //does NOT yet work
    1.14  
    1.15          /*PIDE*/connection_to_kernel_ = sys;
    1.16          /*PIDE*/log(1, "<--ISA: connection established");