Update README.md and CHANGELOG.md

Author: mtf90

CHANGELOG.md

@@ -11,12 +11,13 @@ The format is based on [Keep a Changelog](https://keepachangelog.com/en/1.0.0/).
 ### Changed
 
 * The `{DFA,Mealy,}W{p,}MethodEQOracle(MembershipOracle, int, int)` constructor no longer interprets its second `int` parameter as the batch size, but as an estimate for the expected SUL size. In order to explicitly set the batch size of the oracle, use the `{DFA,Mealy,}W{p,}MethodEQOracle(MembershipOracle, int, int, int)` constructor. Now, the two parameters `lookahead` and `expectedSize` will determine the length of the *middle part* via `Math.max(lookahead, expectedSize - hypothesis.size())`. This allows to dynamically adjust the length of the *middle part* throughout the learning process. See [LearnLib/automatalib#32](https://github.com/LearnLib/automatalib/issues/32).
-* Several DFA/Mealy specific (oracle) subclasses are now automatically generated. As a result they are no longer an inner class, but an independent top-level class. This requires to update the import statements.
+* Several DFA/Mealy specific (oracle) subclasses are now automatically generated. As a result they are no longer an inner class but an independent top-level class. This requires to update the import statements.
 * JSR305 annotations have been replaced with checker-framework annotations.
   * LearnLib (incl. AutomataLib) now follows checker-framework's convention that (non-annotated) types are usually considered non-null unless explicitly annotated with `@Nullable`.
   * LearnLib (incl. AutomataLib) no longer has a (runtime-) dependency on JSR305 (and other `javax.*`) annotations or includes them in the distribution artifact. This now makes LearnLib (incl. AutomataLib) compliant with [Oracle's binary code license](https://www.oracle.com/downloads/licenses/binary-code-license.html) and allows LearnLib (incl. AutomataLib) artifacts as-is to be bundled in binary distributions with Oracle's JDKs/JREs.
 * A lot of code for inferring partial Mealy machines (esp. `PartialLStarMealy` and `PartialObservationTable`) has been removed/refactored. The concept of state local inputs is now implemented as a SUL filter and introduces a special `StateLocalInputSULOracle` which early-answers queries that would traverse unavailable inputs with a previously specified symbol. This way, queries that would traverse undefined input symbols still won't be executed on the SUL but the SUL appears as a 'total' Mealy system to the learner, allowing one to use every currently existing Mealy learner as-is. See the in-tree examples for more information.
 * `SULCache` no longer implements `MembershipOracle`.
+* Switched to [AutomataLib 0.9.0](https://github.com/LearnLib/automatalib/releases/tag/automatalib-0.9.0)
 
 ### Removed
 

README.md

@@ -33,14 +33,14 @@ Additionally, LearnLib offers a variety of tools to ease the practical applicati
 This includes drivers and mappers for interfacing software systems with the LearnLib API as well as caches and parallelization for improving the overall performance of the learning setup.
 Also, more nuanced setups such as Black-Box-Checking (via [LTSMin][ltsmin]) or inferring partial machines are possible.
 
-While we strive to deliver code at a high quality, please note, that there exist parts of the library that still need thorough testing.
+While we strive to deliver code at a high quality, please note that there exist parts of the library that still need thorough testing.
 Contributions -- whether it is in the form of new features, better documentation or tests -- are welcome.
 
 ## Build Instructions
 
-For simply using LearnLib, you may use the Maven artifacts which are available in the [Maven Central repository][maven-central].
-It is also possible to download a bundled [distribution artifact][maven-central-distr], if you want to use LearnLib without Maven support.
-Note, that LearnLib requires Java 8.
+For simply using LearnLib you may use the Maven artifacts which are available in the [Maven Central repository][maven-central].
+It is also possible to download a bundled [distribution artifact][maven-central-distr] if you want to use LearnLib without Maven support.
+Note that LearnLib requires Java 8 or newer.
 
 #### Building development versions
 
@@ -52,7 +52,7 @@ git clone -b develop --single-branch https://github.com/LearnLib/learnlib.git
 ```
 
 and run a single `mvn clean install`.
-This will build all the required maven artifacts and will install them in your local Maven repository, so that you can reference them in other projects.
+This will build all the required maven artifacts and will install them in your local Maven repository so that you can reference them in other projects.
 
 If you plan to use a development version of LearnLib in an environment where no Maven support is available, simply run `mvn clean package -Pbundles`.
 The respective JARs are then available under `distribution/target/bundles`.
@@ -62,12 +62,12 @@ For building development versions of AutomataLib, see the corresponding document
 
 #### Developing LearnLib
 
-For developing the code base of LearnLib, it is suggested to use one of the major Java IDEs, which come with out-of-the-box Maven support.
+For developing the code base of LearnLib it is suggested to use one of the major Java IDEs which come with out-of-the-box Maven support.
 
 * For [IntelliJ IDEA][intellij]:
   1. Select `File` -> `New` -> `Project from existing sources` and select the folder containing the development checkout.
   1. Choose "Import Project from external model", select "Maven" and click `Next`.
-  1. Configure the project to your liking, but make sure to check "Import Maven projects automatically" and have "Generated sources folders" set to "Detect automatically".
+  1. Configure the project to your liking but make sure to check "Import Maven projects automatically" and have "Generated sources folders" set to "Detect automatically".
   1. Click `Next` until the project is imported (no Maven profile needs to be selected).
   1. In order to have both development versions of AutomataLib and LearnLib available at once, continue to import AutomataLib as documented in the project's README, but choose `File` -> `New` -> `Module from existing sources` as the first step.