Adding ObservationTableWriter which converts the suffixes into a string
Use an ObservationTableReader to retrieve OTs from string representations
JavaDoc
Make SimpleObservationTable safer to use
Use correct Nonnull annotation
Merge branch 'develop' into ot-serialization
Merge branch 'develop' into ot-serialization
Merge branch 'develop' into ot-serialization
Merge branch 'ot-serialization' of github.com:LearnLib/learnlib into ot-serialization
Merge branch 'ot-serialization' into prepare-0.10.0
Removed jdiff reporting plugin