1.1 --- a/isac-java/src/java-tests/isac/bridge/xml/TestDataTypes.java	Mon Aug 03 14:28:39 2015 +0200
     1.2 +++ b/isac-java/src/java-tests/isac/bridge/xml/TestDataTypes.java	Mon Aug 03 14:51:28 2015 +0200
     1.3 @@ -116,8 +116,7 @@
     1.4          assertEquals(spec.getTheory().toString(), "e_domID\n");
     1.5          assertEquals(spec.getProblem().toSMLString(), "[\"e_pblID\"]");
     1.6          assertEquals(spec.getMethod().toSMLString(), "[\"e_metID\"]");
     1.7 -
     1.8 -        
     1.9 +       
    1.10          ///-------------------------------------------------------------------
    1.11          // follow scala code in IsaToJava.xml_to_Specification as close as possible
    1.12          //--------- Model ------------------------------