Algorithm Features Refactoring WiP
Adapted Mealy Cache to refactorings in Automata-Incremental API
Add JSR305 annotations (@Nullable, Nonnull)
Refactored cache API, added findbugs dependency
Merge branch 'develop' of github.com:LearnLib/learnlib into develop
Added JSR305 annotations to core
Adapted filters to new automata-incremental API
Adapted to latest changes in AutomataLib, eliminated some warnings
Changed updateInternalHypothesis() invocation; fixes #5
Integration testing architecture
Merge pull request #12 from LearnLib/integration-tests

Integration testing architecture
Rewrote examples using fluent automaton builders
Made examples instantiable (and garbage collectable)
Merge branch 'integration-tests' into develop
Updated Guava version to 16.0, added convenience constructor to Default(DFA|Mealy)LearningExample and updated examples accordingly
Merge branch 'algorithm-features' of github.com:LearnLib/learnlib into algorithm-features
Merge branch 'develop' into algorithm-features

Conflicts:
	algorithms/dhc/pom.xml
	algorithms/lstar-baseline/pom.xml
	algorithms/lstar-generic/src/main/java/de/learnlib/algorithms/lstargeneric/table/ObservationTable.java
	pom.xml
Merge branch 'algorithm-features' of git@github.com:LearnLib/learnlib.git into algorithm-features
Refactored and documented features module
Incorporated feature API refactorings into baseline LStar
Updated gitignore