Merge master

benchmarks/config/checkstyle.xml

benchmarks/config/eclipse-cleanup.xml

benchmarks/config/eclipse-formatter.xml

benchmarks/config/eclipse-import-order.importorder

benchmarks/config/pmd.xml

benchmarks/config/spotbugs-exclude-filter.xml

benchmarks/gradle/wrapper/gradle-wrapper.jar

benchmarks/gradle/wrapper/gradle-wrapper.properties

benchmarks/gradlew

benchmarks/gradlew.bat

benchmarks/settings.gradle

...hmarks/uc1-application/.settings/org.eclipse.jdt.ui.prefs

...-application/.settings/qa.eclipse.plugin.checkstyle.prefs

...rks/uc1-application/.settings/qa.eclipse.plugin.pmd.prefs

benchmarks/uc1-application/Dockerfile

benchmarks/uc1-application/build.gradle

.../main/java/theodolite/uc1/application/HistoryService.java

...java/theodolite/uc1/streamprocessing/TopologyBuilder.java

...eodolite/uc1/streamprocessing/Uc1KafkaStreamsBuilder.java

...cation/src/main/resources/META-INF/application.properties