Kiss2 fix comment parsing

Leere Datei

-../ifsm1.kiss,148,73,9,19624,75,10,34643
+file,origstates,forwardstates,forward rounds,mqueries,reversestates,reverse rounds,mqueries2
+ifsm1.kiss,148,73,9,19624,75,10,34643
 intel_edge.dummy.kiss,56,24,6,6562,24,5,4623
+fo.16.kiss,33,15,5,1518,15,6,1160
+fo.20.kiss,41,18,4,1870,18,8,1407
+fo.30.kiss,61,30,6,7826,30,11,4032
+fo.40.kiss,81,40,5,8954,40,12,9628
+fo.50.kiss,101,50,11,29747,51,14,11935
+fo.60.kiss,121,60,9,32399,61,18,14884
+fo.70.kiss,141,71,10,67838,72,17,22594
+th.20.kiss,41,17,6,2652,17,8,1541
+th.25.kiss,51,26,7,5688,26,7,2619
+th.30.kiss,61,31,7,7426,31,7,3894
+th.35.kiss,71,36,8,11881,39,9,5576
+th.40.kiss,81,40,8,13794,40,13,6720
+th.55.kiss,109,50,9,25670,50,13,9800
+teste.kiss,4,3,2,65,4,3,85

learnlib/Kiss2Parser.java

@@ -22,7 +22,7 @@ public class Kiss2Parser extends GraphvizParser {
         Scanner s = new Scanner(filename);
         while(s.hasNextLine()){
             String line = s.nextLine();
-            line = line.split("#",1)[0].trim();
+            line = line.split("#",2)[0].trim();
 
             if(line.isEmpty() || line.startsWith("."))
                 continue;