1.1 --- a/isac-java/src/java/isac/util/formulae/Specification.java	Thu Jul 16 08:45:20 2015 +0200
     1.2 +++ b/isac-java/src/java/isac/util/formulae/Specification.java	Sun Jul 19 06:35:19 2015 +0200
     1.3 @@ -3,6 +3,9 @@
     1.4   * Created on Oct 31, 2003
     1.5   */
     1.6  package isac.util.formulae;
     1.7 +import isac.bridge.xml.JavaToIsa; //.scala
     1.8 +
     1.9 +import isabelle.XML; //.scala
    1.10  
    1.11  import java.io.Serializable;
    1.12  
    1.13 @@ -64,4 +67,8 @@
    1.14          content += "</SPECIFICATION>\n";
    1.15          return content;
    1.16      }
    1.17 +    // conversion is done in Scala, because it is much simpler there
    1.18 +    public XML.Tree toXML() {
    1.19 +    	return JavaToIsa.xml_of_Specification(this);
    1.20 +    }
    1.21  }
    1.22 \ No newline at end of file