1.1 --- a/src/java/isac/bridge/BridgeRMI.java	Tue Jul 25 18:47:49 2006 +0200
     1.2 +++ b/src/java/isac/bridge/BridgeRMI.java	Tue Jul 25 18:53:39 2006 +0200
     1.3 @@ -992,7 +992,7 @@
     1.4  
     1.5      public Context checkContext(int javaCalcID, Context context, Position pos ) throws RemoteException {
     1.6          ResponseWrapper wrapper = interpretSML(javaCalcID,
     1.7 -                "checkContext @calcid@ " + pos.toSMLString() + " " + context.getKEStoreKey().toString() + ";", false);
     1.8 +                "checkContext @calcid@ " + pos.toSMLString() + " \"" + context.getKEStoreKey().toString() + "\";", false);
     1.9          if(wrapper == null)
    1.10          	return null;
    1.11          return (Context) wrapper.getResponse();