Merge branch 'master' of http://build.se.informatik.uni-kiel.de/gitlab/chw/integration-project

NeoSuit/src/main/java/controller/DatabaseController.java

NeoSuit/src/main/java/controller/ExportController.java

NeoSuit/src/main/java/controller/FileSystemController.java

NeoSuit/src/main/java/controller/Java2SDGController.java

NeoSuit/src/main/java/controller/LazyQueryController.java

NeoSuit/src/main/java/controller/QueryController.java

NeoSuit/src/main/java/controller/SourceFinder.java

NeoSuit/src/main/java/logging/LabelLogger.java

NeoSuit/src/main/java/logging/Logger.java

NeoSuit/src/main/java/model/CandidatePatternMatches.java

NeoSuit/src/main/java/model/CandidatePatternResult.java

NeoSuit/src/main/java/model/CompareState.java

NeoSuit/src/main/java/model/Match.java

NeoSuit/src/main/java/model/ParallelizationPattern.java

NeoSuit/src/main/java/model/Pattern.java

NeoSuit/src/main/java/model/PatternList.java

NeoSuit/src/main/java/model/Query.java

NeoSuit/src/main/java/preferences/PreferenceConstants.java

NeoSuit/src/main/java/preferences/Preferences.java

NeoSuit/src/main/java/tasks/CandidatePatternListTask.java