[maven-release-plugin] prepare for next development iteration
Merge branch 'master' into develop
Allow to specify a batch size for RandomWordsEQOracle in order to perform parallel queries
Clear list of batches in random EQ oracle
Do not ignore last batch when maxTests is reached
Allow null as query output
Replace LinkedList with ArrayList
Allow creation of mealy caches with prefix-closure filters from MealyCaches class
Merge pull request #24 from LearnLib/prefixClosure

Allow creation of mealy caches with prefix-closure filters from MealyCaches class
Fixed bug in RandomWordsEQOracle
Changed AutomataLib version to 0.4.1-SNAPSHOT
Made index comparison more intuitive
Merge pull request #23 from LearnLib/parallelEqOracle

Allow to specify a batch size for RandomWordsEQOracle
Adjusted plugin repos in POM
Updated Guava version to 17.0
Changed constructor visibility for DFACacheOracle, moved method in AbstractLStar
Filtering of symbols via reflexive edges in the reuse tree
filter out symbols represented by reflexive edges in the reuse tree.
Fixed bug in DTLearnerHypothesis, made DHC builder non-final
Replaced generic output parameter name "O" by "D" ("O" is now reserved for Mealy machine outputs), fixed Ma*h*ler typo