#10 issue with multiple times in .net parser

[Anonymous]

When you use multiple intervals for the times there
cannot be spaces inside:
"[5-5,10-10,12-12]" instead of "[5-5, 10-10, 12-12]".
If there are spaces, the time string is interpreted as
multiple tokens, resulting in an uninformative string
index out of bounds error.

java.lang.StringIndexOutOfBoundsException: String
index out of range: -2

java.lang.StringIndexOutOfBoundsException: String index
out of range: -2

at java.lang.String.substring\(String.java:1444\)

at sonia.DotNetParser.parseArc\(DotNetParser.java:527\)

at sonia.DotNetParser.parseNetwork\(DotNetParser.java:234\)

at

sonia.SoniaController.loadFile(SoniaController.java:228)

at

sonia.SoniaController.loadNetFromFile(SoniaController.java:205)

should modify to give meaningful error msg.