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