Settings View Source Finitomata.TestTransitionError exception (Finitomata v0.14.5)