1.1 --- a/isac-java/src/java/isac/bridge/BridgeMain.java	Wed Sep 12 17:07:47 2018 +0200
     1.2 +++ b/isac-java/src/java/isac/bridge/BridgeMain.java	Thu Sep 13 11:14:30 2018 +0200
     1.3 @@ -81,8 +81,10 @@
     1.4          setUpBridgeLog();
     1.5          //*TTY*/startThreadsFirstTime();
     1.6          /*PIDE*/log(1, "-->ISA: try connection with ISABELLE_HOME=\"" + isabelle_home + "\"...");
     1.7 +        //see libisabelle/modules/examples/src/main/java/edu/tum/cs/isabelle/examples/Hello_PIDE.java
     1.8          JResources res = JResources.dumpIsabelleResources();
     1.9 -        Configuration config = Configuration.fromBuiltin("libisabelle_Isac");
    1.10 +        Configuration config = Configuration.simple("Protocol");
    1.11 +//        Configuration config = Configuration.fromBuiltin("libisabelle_Isac");
    1.12          Environment env = JSetup.makeEnvironment(JSetup.defaultSetup(new Version.Stable("2018")), res);
    1.13          JSystem sys = JSystem.create(env, config);
    1.14