1.1 --- a/isac-java/src/java/isac/bridge/BridgeMain.java	Wed Dec 19 12:51:51 2018 +0100
     1.2 +++ b/isac-java/src/java/isac/bridge/BridgeMain.java	Wed Dec 19 13:19:34 2018 +0100
     1.3 @@ -123,7 +123,7 @@
     1.4          String vers = "2018";
     1.5          
     1.6          JResources res = JResources.dumpIsabelleResources();
     1.7 -        Setup setup = new Setup(path, JPlatform.guess(), new Version.Stable("2018"));
     1.8 +        Setup setup = new Setup(path, JPlatform.guess(), new Version.Stable(vers));
     1.9          Environment env = JSetup.makeEnvironment(setup, res);
    1.10          //Configuration config = Configuration.fromBuiltin("libisabelle_Isac"); //fromBuiltin is undefined
    1.11          JSystem sys = JSystem.create(env, config);