private void AppendChoice(StringBuilder builder, dk.brics.automaton.Transition transition) { var c = (char)GetRandomInt(transition.getMin(), transition.getMax(), random); builder.Append(c); }