Uses of Class
net.automatalib.util.automaton.builder.DFABuilder.DFABuilder__4