java.lang.ArrayIndexOutOfBoundsException: -1
at ml.wolfe.term.AllSettings$$anon$1.(AllSettings.scala:42)
at ml.wolfe.term.AllSettings.iterator(AllSettings.scala:35)
at ml.wolfe.term.AllSettings.iterator(AllSettings.scala:13)
at scala.collection.IterableLike$class.foreach(IterableLike.scala:72)
at ml.wolfe.term.AllSettings.foreach(AllSettings.scala:13)
at scala.collection.TraversableOnce$class.addString(TraversableOnce.scala:342)
at ml.wolfe.term.AllSettings.addString(AllSettings.scala:13)
at scala.collection.TraversableOnce$class.mkString(TraversableOnce.scala:308)
at ml.wolfe.term.AllSettings.mkString(AllSettings.scala:13)
at scala.collection.TraversableLike$class.toString(TraversableLike.scala:645)
at ml.wolfe.term.AllSettings.toString(AllSettings.scala:13)