Merge branch 'develop' into 'master'

...ava/de/unikoblenz/fgbks/base/builder/AbstractBuilder.java

...java/de/unikoblenz/fgbks/base/builder/DefaultBuilder.java

.../de/unikoblenz/fgbks/base/utils/ExceptionInterceptor.java

...main/java/de/unikoblenz/fgbks/base/utils/Performance.java

...e/unikoblenz/fgbks/base/utils/PerformanceInterceptor.java

...java/de/unikoblenz/fgbks/base/wordnet/WordnetService.java

...app/src/main/java/de/unikoblenz/fgbks/dmn/api/DmnApi.java

...n/java/de/unikoblenz/fgbks/dmn/beans/StartupListener.java

...rc/main/java/de/unikoblenz/fgbks/dmn/core/DmnService.java

...a/de/unikoblenz/fgbks/dmn/core/models/RuleIdentifier.java

.../unikoblenz/fgbks/dmn/core/models/VerificationResult.java

...blenz/fgbks/dmn/core/models/VerifierCollectionResult.java

...a/de/unikoblenz/fgbks/dmn/core/models/VerifierResult.java

...ava/de/unikoblenz/fgbks/dmn/core/models/VerifierType.java

...e/unikoblenz/fgbks/dmn/core/verifier/EquivalentRules.java

...de/unikoblenz/fgbks/dmn/core/verifier/IdenticalRules.java

...a/de/unikoblenz/fgbks/dmn/core/verifier/MissingRules.java

.../unikoblenz/fgbks/dmn/core/verifier/OverlappingRules.java

.../unikoblenz/fgbks/dmn/core/verifier/SubsumptionRules.java

...main/java/de/unikoblenz/fgbks/dmn/core/verifier/Test.java