1.1 --- a/src/java/isac/util/interfaces/IToCalc.java	Mon Jun 27 15:01:06 2005 +0200
     1.2 +++ b/src/java/isac/util/interfaces/IToCalc.java	Mon Jun 27 15:01:06 2005 +0200
     1.3 @@ -5,9 +5,7 @@
     1.4  
     1.5  import java.rmi.Remote;
     1.6  import java.rmi.RemoteException;
     1.7 -import java.util.Vector;
     1.8  
     1.9 -import isac.util.NotInSpecificationPhaseException;
    1.10  import isac.util.formulae.*;
    1.11  import isac.util.tactics.*;
    1.12  

     2.1 --- a/src/java/isac/util/parser/FormalizationDigest.java	Mon Jun 27 15:01:06 2005 +0200
     2.2 +++ b/src/java/isac/util/parser/FormalizationDigest.java	Mon Jun 27 15:01:06 2005 +0200
     2.3 @@ -64,9 +64,7 @@
     2.4          public InputSource resolveEntity(String publicId, String systemId)
     2.5                  throws SAXException, IOException {
     2.6              if ((systemId != null) && systemId.endsWith("isac.dtd")) {
     2.7 -                //System.out.println("------->inside entity resolv");
     2.8                  return new InputSource(new StringReader(dtd_));
     2.9 -                //new StringReader("<!ELEMENT dummy EMPTY>"));
    2.10              } else {
    2.11                  return null;
    2.12              }
    2.13 @@ -105,14 +103,12 @@
    2.14          digester_.addCallMethod("*/SPECIFICATION/THEORY", "setID", 0);
    2.15          digester_.addSetNext("*/SPECIFICATION/THEORY", "setTheory");
    2.16  
    2.17 -        digester_.addObjectCreate("*/SPECIFICATION/PROBLEM",
    2.18 -                KEStoreID.class);
    2.19 +        digester_.addObjectCreate("*/SPECIFICATION/PROBLEM", KEStoreID.class);
    2.20          digester_.addCallMethod("*/SPECIFICATION/PROBLEM/KEY/ID", "addString",
    2.21                  0);
    2.22          digester_.addSetNext("*/SPECIFICATION/PROBLEM", "setProblem");
    2.23  
    2.24 -        digester_.addObjectCreate("*/SPECIFICATION/METHOD",
    2.25 -                KEStoreID.class);
    2.26 +        digester_.addObjectCreate("*/SPECIFICATION/METHOD", KEStoreID.class);
    2.27          digester_
    2.28                  .addCallMethod("*/SPECIFICATION/METHOD/KEY/ID", "addString", 0);
    2.29          digester_.addSetNext("*/SPECIFICATION/METHOD", "setMethod");