1.1 --- a/isac-java/src/java/isac/util/Variant.java	Tue Sep 22 14:33:32 2020 +0200
     1.2 +++ b/isac-java/src/java/isac/util/Variant.java	Fri Mar 26 10:45:05 2021 +0100
     1.3 @@ -12,7 +12,7 @@
     1.4  import isac.util.formulae.Specification;
     1.5  import isac.bridge.xml.DataTypes; //.scala
     1.6  
     1.7 -import info.hupel.isabelle.api.XML; // from libisabelle's setup-assembly-*.jar
     1.8 +import edu.tum.cs.isabelle.api.XML; // from libisabelle-full.jar
     1.9  
    1.10  import java.io.Serializable;
    1.11  import java.util.ArrayList;
    1.12 @@ -83,7 +83,7 @@
    1.13       * Format the object in a way that libisabelle/PIDE can handle it
    1.14       * @return XML representation of this Variant
    1.15       */
    1.16 -    // conversion is done in Scala, because it is much simpler here
    1.17 +    // conversion is done in Scala, because it is much simpler there
    1.18      public XML.Tree toXML() {
    1.19      	return DataTypes.xml_of_Variant(this);
    1.20      }
    1.21 @@ -99,4 +99,4 @@
    1.22          return isa_strings_;
    1.23      }
    1.24  
    1.25 -}
    1.26 \ No newline at end of file
    1.27 +}