Added JSR305 annotations in parallelism module
Incremental W method equivalence oracle
Removed evolving module from utils POM
Made cache oracles thread-safe
Added support for storing multiple system states in the reuse tree
Documented non-thread-safety of BoundedDeque
Merge pull request #20 from LearnLib/reuse-multistate

Added support for storing multiple system states in the reuse tree
Dispose system states when clearing tree, but do not touch invariant input symbols or output symbols.
Merge pull request #21 from LearnLib/reuse-clearTree

Dispose system states when clearing tree, but do not touch invariant inp...
Implemented the Kearns/Vazirani algorithm for DFA and Mealy learning
Merge pull request #22 from LearnLib/kearns

Implemented the Kearns/Vazirani algorithm for DFA and Mealy learning
Added SimulatorEQOracle specializations
added missing call to setMaxDepth
Added convenience specializations for AbstractSingleQueryOracle
Merge branch 'develop' of github.com:LearnLib/learnlib into develop
Merge branch 'develop' into ot-serialization