Uses of Class
de.learnlib.algorithm.adt.learner.ADTLearner