SuccessConsole Output

[INFO] 
[INFO] -------< org.eclipse.winery:org.eclipse.winery.model.adaptation >-------
[INFO] Building org.eclipse.winery.model.adaptation 2.0.0-SNAPSHOT      [18/23]
[INFO] --------------------------------[ jar ]---------------------------------
[INFO] 
[INFO] --- maven-checkstyle-plugin:3.1.1:check (checkstyle) @ org.eclipse.winery.model.adaptation ---
[INFO] You have 0 Checkstyle violations.
[INFO] 
[INFO] --- maven-resources-plugin:2.6:resources (default-resources) @ org.eclipse.winery.model.adaptation ---
[INFO] Using 'UTF-8' encoding to copy filtered resources.
[INFO] skip non existing resourceDirectory /home/jenkins/agent/workspace/winery-jdk8/org.eclipse.winery.model.adaptation/src/main/resources
[INFO] 
[INFO] --- maven-compiler-plugin:3.1:compile (default-compile) @ org.eclipse.winery.model.adaptation ---
[INFO] Changes detected - recompiling the module!
[INFO] Compiling 30 source files to /home/jenkins/agent/workspace/winery-jdk8/org.eclipse.winery.model.adaptation/target/classes
[INFO] 
[INFO] --- maven-resources-plugin:2.6:testResources (default-testResources) @ org.eclipse.winery.model.adaptation ---
[INFO] Using 'UTF-8' encoding to copy filtered resources.
[INFO] Copying 1 resource
[INFO] 
[INFO] --- maven-compiler-plugin:3.1:testCompile (default-testCompile) @ org.eclipse.winery.model.adaptation ---
[INFO] Changes detected - recompiling the module!
[INFO] Compiling 13 source files to /home/jenkins/agent/workspace/winery-jdk8/org.eclipse.winery.model.adaptation/target/test-classes
[INFO] 
[INFO] --- maven-surefire-plugin:3.0.0-M4:test (default-test) @ org.eclipse.winery.model.adaptation ---
[INFO] 
[INFO] -------------------------------------------------------
[INFO]  T E S T S
[INFO] -------------------------------------------------------
[INFO] Running org.eclipse.winery.model.adaptation.substitution.refinement.PermutationGeneratorTest
06:28:37.919 [main] INFO  o.e.w.c.configuration.Environment:146 getConfigFromFile - Winery config file: /home/jenkins/.winery/winery.yml
06:28:38.016 [main] INFO  o.e.w.c.configuration.Environment:146 getConfigFromFile - Winery config file: /home/jenkins/.winery/winery.yml
06:28:38.034 [main] INFO  o.e.w.m.a.s.r.PermutationGenerator:82 checkMutability - Starting mutability check of PrmWithComplexRelationMappings
06:28:38.216 [main] INFO  o.e.w.m.a.s.r.PermutationGenerator:175 checkComponentMutability - Checking component mutability of detectorNode "1" to refinementNode "11"
06:28:38.219 [main] INFO  o.e.w.m.a.s.r.PermutationGenerator:175 checkComponentMutability - Checking component mutability of detectorNode "1" to refinementNode "12"
06:28:38.219 [main] INFO  o.e.w.m.a.s.r.PermutationGenerator:182 checkComponentMutability - Adding MutabilityMapping between detector Node "1" and refinement node "12"
06:28:38.221 [main] INFO  o.e.w.m.a.s.r.PermutationGenerator:175 checkComponentMutability - Checking component mutability of detectorNode "2" to refinementNode "13"
06:28:38.221 [main] INFO  o.e.w.m.a.s.r.PermutationGenerator:175 checkComponentMutability - Checking component mutability of detectorNode "2" to refinementNode "14"
06:28:38.221 [main] INFO  o.e.w.m.a.s.r.PermutationGenerator:182 checkComponentMutability - Adding MutabilityMapping between detector Node "2" and refinement node "14"
06:28:38.223 [main] INFO  o.e.w.m.a.s.r.PermutationGenerator:259 chekMutabilityOfDetectorRelations - Checking unmapped relation "1--2"
06:28:38.226 [main] INFO  o.e.w.m.a.s.r.PermutationGenerator:303 chekMutabilityOfDetectorRelations - Found possibility to redirect relation "1--2" to refinement node "13"
06:28:38.263 [main] INFO  o.e.w.m.a.s.r.PermutationGenerator:82 checkMutability - Starting mutability check of null
06:28:38.264 [main] INFO  o.e.w.m.a.s.r.PermutationGenerator:175 checkComponentMutability - Checking component mutability of detectorNode "7" to refinementNode "11"
06:28:38.264 [main] INFO  o.e.w.m.a.s.r.PermutationGenerator:182 checkComponentMutability - Adding MutabilityMapping between detector Node "7" and refinement node "11"
06:28:38.265 [main] INFO  o.e.w.m.a.s.r.PermutationGenerator:175 checkComponentMutability - Checking component mutability of detectorNode "7" to refinementNode "12"
06:28:38.265 [main] INFO  o.e.w.m.a.s.r.PermutationGenerator:182 checkComponentMutability - Adding MutabilityMapping between detector Node "7" and refinement node "12"
06:28:38.265 [main] INFO  o.e.w.m.a.s.r.PermutationGenerator:175 checkComponentMutability - Checking component mutability of detectorNode "7" to refinementNode "10"
06:28:38.265 [main] INFO  o.e.w.m.a.s.r.PermutationGenerator:182 checkComponentMutability - Adding MutabilityMapping between detector Node "7" and refinement node "10"
06:28:38.266 [main] INFO  o.e.w.m.a.s.r.PermutationGenerator:175 checkComponentMutability - Checking component mutability of detectorNode "8" to refinementNode "13"
06:28:38.266 [main] INFO  o.e.w.m.a.s.r.PermutationGenerator:182 checkComponentMutability - Adding MutabilityMapping between detector Node "8" and refinement node "13"
06:28:38.266 [main] INFO  o.e.w.m.a.s.r.PermutationGenerator:259 chekMutabilityOfDetectorRelations - Checking unmapped relation "78"
06:28:38.266 [main] INFO  o.e.w.m.a.s.r.PermutationGenerator:303 chekMutabilityOfDetectorRelations - Found possibility to redirect relation "78" to refinement node "13"
06:28:38.269 [main] INFO  o.e.w.m.a.s.r.PermutationGenerator:82 checkMutability - Starting mutability check of ComplexPrmWithPatternSet
06:28:38.269 [main] INFO  o.e.w.m.a.s.r.PermutationGenerator:175 checkComponentMutability - Checking component mutability of detectorNode "1" to refinementNode "11"
06:28:38.269 [main] INFO  o.e.w.m.a.s.r.PermutationGenerator:182 checkComponentMutability - Adding MutabilityMapping between detector Node "1" and refinement node "11"
06:28:38.270 [main] INFO  o.e.w.m.a.s.r.PermutationGenerator:175 checkComponentMutability - Checking component mutability of detectorNode "1" to refinementNode "12"
06:28:38.270 [main] INFO  o.e.w.m.a.s.r.PermutationGenerator:182 checkComponentMutability - Adding MutabilityMapping between detector Node "1" and refinement node "12"
06:28:38.270 [main] INFO  o.e.w.m.a.s.r.PermutationGenerator:175 checkComponentMutability - Checking component mutability of detectorNode "1" to refinementNode "12"
06:28:38.270 [main] INFO  o.e.w.m.a.s.r.PermutationGenerator:175 checkComponentMutability - Checking component mutability of detectorNode "2" to refinementNode "15"
06:28:38.271 [main] INFO  o.e.w.m.a.s.r.PermutationGenerator:194 checkComponentMutability - Found pattern set of components: 2,3
06:28:38.272 [main] INFO  o.e.w.m.a.s.r.PermutationGenerator:175 checkComponentMutability - Checking component mutability of detectorNode "2" to refinementNode "13"
06:28:38.272 [main] INFO  o.e.w.m.a.s.r.PermutationGenerator:182 checkComponentMutability - Adding MutabilityMapping between detector Node "2" and refinement node "13"
06:28:38.272 [main] INFO  o.e.w.m.a.s.r.PermutationGenerator:175 checkComponentMutability - Checking component mutability of detectorNode "2" to refinementNode "14"
06:28:38.272 [main] INFO  o.e.w.m.a.s.r.PermutationGenerator:175 checkComponentMutability - Checking component mutability of detectorNode "3" to refinementNode "15"
06:28:38.273 [main] INFO  o.e.w.m.a.s.r.PermutationGenerator:194 checkComponentMutability - Found pattern set of components: 3,2
06:28:38.273 [main] INFO  o.e.w.m.a.s.r.PermutationGenerator:215 checkComponentMutability - Added pattern set to existing set: 2,3
06:28:38.273 [main] INFO  o.e.w.m.a.s.r.PermutationGenerator:175 checkComponentMutability - Checking component mutability of detectorNode "3" to refinementNode "15"
06:28:38.273 [main] INFO  o.e.w.m.a.s.r.PermutationGenerator:194 checkComponentMutability - Found pattern set of components: 3,2
06:28:38.274 [main] INFO  o.e.w.m.a.s.r.PermutationGenerator:215 checkComponentMutability - Added pattern set to existing set: 2,3
06:28:38.274 [main] INFO  o.e.w.m.a.s.r.PermutationGenerator:175 checkComponentMutability - Checking component mutability of detectorNode "3" to refinementNode "16"
06:28:38.274 [main] INFO  o.e.w.m.a.s.r.PermutationGenerator:259 chekMutabilityOfDetectorRelations - Checking unmapped relation "2--3"
06:28:38.274 [main] INFO  o.e.w.m.a.s.r.PermutationGenerator:309 chekMutabilityOfDetectorRelations - Relation "2--3" is part of a component set
06:28:38.282 [main] INFO  o.e.w.m.a.s.r.PermutationGenerator:82 checkMutability - Starting mutability check of PrmWithComplexRelationMappings
06:28:38.282 [main] INFO  o.e.w.m.a.s.r.PermutationGenerator:175 checkComponentMutability - Checking component mutability of detectorNode "1" to refinementNode "11"
06:28:38.283 [main] INFO  o.e.w.m.a.s.r.PermutationGenerator:175 checkComponentMutability - Checking component mutability of detectorNode "2" to refinementNode "13"
06:28:38.283 [main] INFO  o.e.w.m.a.s.r.PermutationGenerator:175 checkComponentMutability - Checking component mutability of detectorNode "2" to refinementNode "14"
06:28:38.283 [main] INFO  o.e.w.m.a.s.r.PermutationGenerator:182 checkComponentMutability - Adding MutabilityMapping between detector Node "2" and refinement node "14"
06:28:38.283 [main] INFO  o.e.w.m.a.s.r.PermutationGenerator:175 checkComponentMutability - Checking component mutability of detectorNode "3" to refinementNode "12"
06:28:38.284 [main] INFO  o.e.w.m.a.s.r.PermutationGenerator:259 chekMutabilityOfDetectorRelations - Checking unmapped relation "1--2"
06:28:38.284 [main] INFO  o.e.w.m.a.s.r.PermutationGenerator:303 chekMutabilityOfDetectorRelations - Found possibility to redirect relation "1--2" to refinement node "13"
06:28:38.284 [main] INFO  o.e.w.m.a.s.r.PermutationGenerator:259 chekMutabilityOfDetectorRelations - Checking unmapped relation "3--2"
06:28:38.284 [main] INFO  o.e.w.m.a.s.r.PermutationGenerator:303 chekMutabilityOfDetectorRelations - Found possibility to redirect relation "3--2" to refinement node "13"
06:28:38.285 [main] INFO  o.e.w.m.a.s.r.PermutationGenerator:259 chekMutabilityOfDetectorRelations - Checking unmapped relation "1--3"
06:28:38.285 [main] INFO  o.e.w.m.a.s.r.PermutationGenerator:303 chekMutabilityOfDetectorRelations - Found possibility to redirect relation "1--3" to refinement node "12"
06:28:38.287 [main] INFO  o.e.w.m.a.s.r.PermutationGenerator:82 checkMutability - Starting mutability check of PrmWithComplexRelationMappings2
06:28:38.288 [main] INFO  o.e.w.m.a.s.r.PermutationGenerator:175 checkComponentMutability - Checking component mutability of detectorNode "1" to refinementNode "11"
06:28:38.288 [main] INFO  o.e.w.m.a.s.r.PermutationGenerator:175 checkComponentMutability - Checking component mutability of detectorNode "1" to refinementNode "13"
06:28:38.288 [main] INFO  o.e.w.m.a.s.r.PermutationGenerator:182 checkComponentMutability - Adding MutabilityMapping between detector Node "1" and refinement node "13"
06:28:38.289 [main] INFO  o.e.w.m.a.s.r.PermutationGenerator:175 checkComponentMutability - Checking component mutability of detectorNode "1" to refinementNode "12"
06:28:38.289 [main] INFO  o.e.w.m.a.s.r.PermutationGenerator:182 checkComponentMutability - Adding MutabilityMapping between detector Node "1" and refinement node "12"
06:28:38.289 [main] INFO  o.e.w.m.a.s.r.PermutationGenerator:175 checkComponentMutability - Checking component mutability of detectorNode "2" to refinementNode "14"
06:28:38.289 [main] INFO  o.e.w.m.a.s.r.PermutationGenerator:175 checkComponentMutability - Checking component mutability of detectorNode "2" to refinementNode "15"
06:28:38.290 [main] INFO  o.e.w.m.a.s.r.PermutationGenerator:182 checkComponentMutability - Adding MutabilityMapping between detector Node "2" and refinement node "15"
06:28:38.290 [main] INFO  o.e.w.m.a.s.r.PermutationGenerator:259 chekMutabilityOfDetectorRelations - Checking unmapped relation "1--2"
06:28:38.290 [main] INFO  o.e.w.m.a.s.r.PermutationGenerator:303 chekMutabilityOfDetectorRelations - Found possibility to redirect relation "1--2" to refinement node "14"
06:28:38.292 [main] INFO  o.e.w.m.a.s.r.PermutationGenerator:82 checkMutability - Starting mutability check of ComplexPrmWithPatternSet
06:28:38.293 [main] INFO  o.e.w.m.a.s.r.PermutationGenerator:175 checkComponentMutability - Checking component mutability of detectorNode "1" to refinementNode "11"
06:28:38.293 [main] INFO  o.e.w.m.a.s.r.PermutationGenerator:182 checkComponentMutability - Adding MutabilityMapping between detector Node "1" and refinement node "11"
06:28:38.293 [main] INFO  o.e.w.m.a.s.r.PermutationGenerator:175 checkComponentMutability - Checking component mutability of detectorNode "1" to refinementNode "12"
06:28:38.294 [main] INFO  o.e.w.m.a.s.r.PermutationGenerator:182 checkComponentMutability - Adding MutabilityMapping between detector Node "1" and refinement node "12"
06:28:38.294 [main] INFO  o.e.w.m.a.s.r.PermutationGenerator:175 checkComponentMutability - Checking component mutability of detectorNode "1" to refinementNode "12"
06:28:38.294 [main] INFO  o.e.w.m.a.s.r.PermutationGenerator:175 checkComponentMutability - Checking component mutability of detectorNode "2" to refinementNode "15"
06:28:38.294 [main] INFO  o.e.w.m.a.s.r.PermutationGenerator:194 checkComponentMutability - Found pattern set of components: 2,3
06:28:38.295 [main] INFO  o.e.w.m.a.s.r.PermutationGenerator:175 checkComponentMutability - Checking component mutability of detectorNode "2" to refinementNode "13"
06:28:38.295 [main] INFO  o.e.w.m.a.s.r.PermutationGenerator:182 checkComponentMutability - Adding MutabilityMapping between detector Node "2" and refinement node "13"
06:28:38.295 [main] INFO  o.e.w.m.a.s.r.PermutationGenerator:175 checkComponentMutability - Checking component mutability of detectorNode "2" to refinementNode "14"
06:28:38.295 [main] INFO  o.e.w.m.a.s.r.PermutationGenerator:175 checkComponentMutability - Checking component mutability of detectorNode "3" to refinementNode "15"
06:28:38.295 [main] INFO  o.e.w.m.a.s.r.PermutationGenerator:194 checkComponentMutability - Found pattern set of components: 3,2
06:28:38.296 [main] INFO  o.e.w.m.a.s.r.PermutationGenerator:215 checkComponentMutability - Added pattern set to existing set: 2,3
06:28:38.296 [main] INFO  o.e.w.m.a.s.r.PermutationGenerator:175 checkComponentMutability - Checking component mutability of detectorNode "3" to refinementNode "15"
06:28:38.296 [main] INFO  o.e.w.m.a.s.r.PermutationGenerator:194 checkComponentMutability - Found pattern set of components: 3,2
06:28:38.296 [main] INFO  o.e.w.m.a.s.r.PermutationGenerator:215 checkComponentMutability - Added pattern set to existing set: 2,3
06:28:38.296 [main] INFO  o.e.w.m.a.s.r.PermutationGenerator:175 checkComponentMutability - Checking component mutability of detectorNode "3" to refinementNode "16"
06:28:38.297 [main] INFO  o.e.w.m.a.s.r.PermutationGenerator:259 chekMutabilityOfDetectorRelations - Checking unmapped relation "1--2"
06:28:38.297 [main] INFO  o.e.w.m.a.s.r.PermutationGenerator:259 chekMutabilityOfDetectorRelations - Checking unmapped relation "2--3"
06:28:38.297 [main] INFO  o.e.w.m.a.s.r.PermutationGenerator:309 chekMutabilityOfDetectorRelations - Relation "2--3" is part of a component set
06:28:38.298 [main] INFO  o.e.w.m.a.s.r.PermutationGenerator:165 checkMutability - Permutations cannot be determined automatically! Reason: There are relations that cannot be redirected during the generation: 1--2.
06:28:38.299 [main] INFO  o.e.w.m.a.s.r.PermutationGenerator:82 checkMutability - Starting mutability check of PrmWithStaying
06:28:38.300 [main] INFO  o.e.w.m.a.s.r.PermutationGenerator:175 checkComponentMutability - Checking component mutability of detectorNode "1" to refinementNode "11"
06:28:38.300 [main] INFO  o.e.w.m.a.s.r.PermutationGenerator:175 checkComponentMutability - Checking component mutability of detectorNode "2" to refinementNode "13"
06:28:38.302 [main] INFO  o.e.w.m.a.s.r.PermutationGenerator:182 checkComponentMutability - Adding MutabilityMapping between detector Node "2" and refinement node "13"
06:28:38.303 [main] INFO  o.e.w.m.a.s.r.PermutationGenerator:175 checkComponentMutability - Checking component mutability of detectorNode "2" to refinementNode "15"
06:28:38.303 [main] INFO  o.e.w.m.a.s.r.PermutationGenerator:175 checkComponentMutability - Checking component mutability of detectorNode "3" to refinementNode "16"
06:28:38.303 [main] INFO  o.e.w.m.a.s.r.PermutationGenerator:182 checkComponentMutability - Adding MutabilityMapping between detector Node "3" and refinement node "16"
06:28:38.304 [main] INFO  o.e.w.m.a.s.r.PermutationGenerator:259 chekMutabilityOfDetectorRelations - Checking unmapped relation "1--2"
06:28:38.304 [main] INFO  o.e.w.m.a.s.r.PermutationGenerator:303 chekMutabilityOfDetectorRelations - Found possibility to redirect relation "1--2" to refinement node "13"
06:28:38.304 [main] INFO  o.e.w.m.a.s.r.PermutationGenerator:259 chekMutabilityOfDetectorRelations - Checking unmapped relation "2--3"
06:28:38.305 [main] INFO  o.e.w.m.a.s.r.PermutationGenerator:303 chekMutabilityOfDetectorRelations - Found possibility to redirect relation "2--3" to refinement node "16"
06:28:38.306 [main] INFO  o.e.w.m.a.s.r.PermutationGenerator:82 checkMutability - Starting mutability check of SimplePrm
06:28:38.306 [main] INFO  o.e.w.m.a.s.r.PermutationGenerator:175 checkComponentMutability - Checking component mutability of detectorNode "1" to refinementNode "11"
06:28:38.307 [main] INFO  o.e.w.m.a.s.r.PermutationGenerator:182 checkComponentMutability - Adding MutabilityMapping between detector Node "1" and refinement node "11"
06:28:38.307 [main] INFO  o.e.w.m.a.s.r.PermutationGenerator:175 checkComponentMutability - Checking component mutability of detectorNode "1" to refinementNode "12"
06:28:38.307 [main] INFO  o.e.w.m.a.s.r.PermutationGenerator:182 checkComponentMutability - Adding MutabilityMapping between detector Node "1" and refinement node "12"
06:28:38.307 [main] INFO  o.e.w.m.a.s.r.PermutationGenerator:175 checkComponentMutability - Checking component mutability of detectorNode "2" to refinementNode "13"
06:28:38.308 [main] INFO  o.e.w.m.a.s.r.PermutationGenerator:182 checkComponentMutability - Adding MutabilityMapping between detector Node "2" and refinement node "13"
06:28:38.308 [main] INFO  o.e.w.m.a.s.r.PermutationGenerator:175 checkComponentMutability - Checking component mutability of detectorNode "3" to refinementNode "14"
06:28:38.308 [main] INFO  o.e.w.m.a.s.r.PermutationGenerator:182 checkComponentMutability - Adding MutabilityMapping between detector Node "3" and refinement node "14"
06:28:38.309 [main] INFO  o.e.w.m.a.s.r.PermutationGenerator:175 checkComponentMutability - Checking component mutability of detectorNode "3" to refinementNode "15"
06:28:38.309 [main] INFO  o.e.w.m.a.s.r.PermutationGenerator:182 checkComponentMutability - Adding MutabilityMapping between detector Node "3" and refinement node "15"
06:28:38.309 [main] INFO  o.e.w.m.a.s.r.PermutationGenerator:259 chekMutabilityOfDetectorRelations - Checking unmapped relation "1--2"
06:28:38.310 [main] INFO  o.e.w.m.a.s.r.PermutationGenerator:303 chekMutabilityOfDetectorRelations - Found possibility to redirect relation "1--2" to refinement node "13"
06:28:38.310 [main] INFO  o.e.w.m.a.s.r.PermutationGenerator:259 chekMutabilityOfDetectorRelations - Checking unmapped relation "2--3"
06:28:38.310 [main] INFO  o.e.w.m.a.s.r.PermutationGenerator:303 chekMutabilityOfDetectorRelations - Found possibility to redirect relation "2--3" to refinement node "14"
06:28:38.311 [main] INFO  o.e.w.m.a.s.r.PermutationGenerator:82 checkMutability - Starting mutability check of ComplexPrmWithPatternSet
06:28:38.312 [main] INFO  o.e.w.m.a.s.r.PermutationGenerator:175 checkComponentMutability - Checking component mutability of detectorNode "1" to refinementNode "11"
06:28:38.312 [main] INFO  o.e.w.m.a.s.r.PermutationGenerator:182 checkComponentMutability - Adding MutabilityMapping between detector Node "1" and refinement node "11"
06:28:38.312 [main] INFO  o.e.w.m.a.s.r.PermutationGenerator:175 checkComponentMutability - Checking component mutability of detectorNode "1" to refinementNode "12"
06:28:38.312 [main] INFO  o.e.w.m.a.s.r.PermutationGenerator:182 checkComponentMutability - Adding MutabilityMapping between detector Node "1" and refinement node "12"
06:28:38.312 [main] INFO  o.e.w.m.a.s.r.PermutationGenerator:175 checkComponentMutability - Checking component mutability of detectorNode "1" to refinementNode "12"
06:28:38.313 [main] INFO  o.e.w.m.a.s.r.PermutationGenerator:175 checkComponentMutability - Checking component mutability of detectorNode "2" to refinementNode "15"
06:28:38.313 [main] INFO  o.e.w.m.a.s.r.PermutationGenerator:194 checkComponentMutability - Found pattern set of components: 2,3
06:28:38.313 [main] INFO  o.e.w.m.a.s.r.PermutationGenerator:175 checkComponentMutability - Checking component mutability of detectorNode "2" to refinementNode "13"
06:28:38.313 [main] INFO  o.e.w.m.a.s.r.PermutationGenerator:182 checkComponentMutability - Adding MutabilityMapping between detector Node "2" and refinement node "13"
06:28:38.313 [main] INFO  o.e.w.m.a.s.r.PermutationGenerator:175 checkComponentMutability - Checking component mutability of detectorNode "3" to refinementNode "15"
06:28:38.314 [main] INFO  o.e.w.m.a.s.r.PermutationGenerator:194 checkComponentMutability - Found pattern set of components: 3,2
06:28:38.314 [main] INFO  o.e.w.m.a.s.r.PermutationGenerator:215 checkComponentMutability - Added pattern set to existing set: 2,3
06:28:38.314 [main] INFO  o.e.w.m.a.s.r.PermutationGenerator:143 checkMutability - Permutations cannot be determined automatically! Reason: There are detector nodes which could not be mapped to a refinement node: 3.
06:28:38.316 [main] INFO  o.e.w.m.a.s.r.PermutationGenerator:82 checkMutability - Starting mutability check of ComplexPrmWithPatternSet
06:28:38.317 [main] INFO  o.e.w.m.a.s.r.PermutationGenerator:175 checkComponentMutability - Checking component mutability of detectorNode "1" to refinementNode "11"
06:28:38.317 [main] INFO  o.e.w.m.a.s.r.PermutationGenerator:182 checkComponentMutability - Adding MutabilityMapping between detector Node "1" and refinement node "11"
06:28:38.317 [main] INFO  o.e.w.m.a.s.r.PermutationGenerator:175 checkComponentMutability - Checking component mutability of detectorNode "1" to refinementNode "12"
06:28:38.317 [main] INFO  o.e.w.m.a.s.r.PermutationGenerator:182 checkComponentMutability - Adding MutabilityMapping between detector Node "1" and refinement node "12"
06:28:38.317 [main] INFO  o.e.w.m.a.s.r.PermutationGenerator:175 checkComponentMutability - Checking component mutability of detectorNode "1" to refinementNode "12"
06:28:38.318 [main] INFO  o.e.w.m.a.s.r.PermutationGenerator:175 checkComponentMutability - Checking component mutability of detectorNode "2" to refinementNode "13"
06:28:38.318 [main] INFO  o.e.w.m.a.s.r.PermutationGenerator:182 checkComponentMutability - Adding MutabilityMapping between detector Node "2" and refinement node "13"
06:28:38.318 [main] INFO  o.e.w.m.a.s.r.PermutationGenerator:175 checkComponentMutability - Checking component mutability of detectorNode "2" to refinementNode "14"
06:28:38.318 [main] INFO  o.e.w.m.a.s.r.PermutationGenerator:175 checkComponentMutability - Checking component mutability of detectorNode "3" to refinementNode "15"
06:28:38.318 [main] INFO  o.e.w.m.a.s.r.PermutationGenerator:175 checkComponentMutability - Checking component mutability of detectorNode "3" to refinementNode "15"
06:28:38.318 [main] INFO  o.e.w.m.a.s.r.PermutationGenerator:175 checkComponentMutability - Checking component mutability of detectorNode "3" to refinementNode "16"
06:28:38.319 [main] INFO  o.e.w.m.a.s.r.PermutationGenerator:259 chekMutabilityOfDetectorRelations - Checking unmapped relation "2--3"
06:28:38.319 [main] INFO  o.e.w.m.a.s.r.PermutationGenerator:165 checkMutability - Permutations cannot be determined automatically! Reason: There are relations that cannot be redirected during the generation: 2--3.
06:28:38.320 [main] INFO  o.e.w.m.a.s.r.PermutationGenerator:82 checkMutability - Starting mutability check of ComplexPrmWithPatternSet
06:28:38.321 [main] INFO  o.e.w.m.a.s.r.PermutationGenerator:175 checkComponentMutability - Checking component mutability of detectorNode "1" to refinementNode "11"
06:28:38.321 [main] INFO  o.e.w.m.a.s.r.PermutationGenerator:182 checkComponentMutability - Adding MutabilityMapping between detector Node "1" and refinement node "11"
06:28:38.321 [main] INFO  o.e.w.m.a.s.r.PermutationGenerator:175 checkComponentMutability - Checking component mutability of detectorNode "1" to refinementNode "12"
06:28:38.321 [main] INFO  o.e.w.m.a.s.r.PermutationGenerator:182 checkComponentMutability - Adding MutabilityMapping between detector Node "1" and refinement node "12"
06:28:38.321 [main] INFO  o.e.w.m.a.s.r.PermutationGenerator:175 checkComponentMutability - Checking component mutability of detectorNode "1" to refinementNode "12"
06:28:38.321 [main] INFO  o.e.w.m.a.s.r.PermutationGenerator:175 checkComponentMutability - Checking component mutability of detectorNode "2" to refinementNode "15"
06:28:38.322 [main] INFO  o.e.w.m.a.s.r.PermutationGenerator:194 checkComponentMutability - Found pattern set of components: 2,3
06:28:38.322 [main] INFO  o.e.w.m.a.s.r.PermutationGenerator:175 checkComponentMutability - Checking component mutability of detectorNode "2" to refinementNode "13"
06:28:38.322 [main] INFO  o.e.w.m.a.s.r.PermutationGenerator:182 checkComponentMutability - Adding MutabilityMapping between detector Node "2" and refinement node "13"
06:28:38.322 [main] INFO  o.e.w.m.a.s.r.PermutationGenerator:175 checkComponentMutability - Checking component mutability of detectorNode "3" to refinementNode "15"
06:28:38.322 [main] INFO  o.e.w.m.a.s.r.PermutationGenerator:194 checkComponentMutability - Found pattern set of components: 3,2
06:28:38.322 [main] INFO  o.e.w.m.a.s.r.PermutationGenerator:215 checkComponentMutability - Added pattern set to existing set: 2,3
06:28:38.323 [main] INFO  o.e.w.m.a.s.r.PermutationGenerator:175 checkComponentMutability - Checking component mutability of detectorNode "3" to refinementNode "15"
06:28:38.323 [main] INFO  o.e.w.m.a.s.r.PermutationGenerator:194 checkComponentMutability - Found pattern set of components: 3,2
06:28:38.323 [main] INFO  o.e.w.m.a.s.r.PermutationGenerator:215 checkComponentMutability - Added pattern set to existing set: 2,3
06:28:38.323 [main] INFO  o.e.w.m.a.s.r.PermutationGenerator:175 checkComponentMutability - Checking component mutability of detectorNode "3" to refinementNode "16"
06:28:38.323 [main] INFO  o.e.w.m.a.s.r.PermutationGenerator:156 checkMutability - Permutations cannot be determined automatically! Reason: There are refinement nodes which could not be mapped to a detector node: 14.
[INFO] Tests run: 11, Failures: 0, Errors: 0, Skipped: 0, Time elapsed: 0.584 s - in org.eclipse.winery.model.adaptation.substitution.refinement.PermutationGeneratorTest
[INFO] Running org.eclipse.winery.model.adaptation.substitution.refinement.patterns.PatternRefinementTest
[INFO] Tests run: 14, Failures: 0, Errors: 0, Skipped: 0, Time elapsed: 0.24 s - in org.eclipse.winery.model.adaptation.substitution.refinement.patterns.PatternRefinementTest
[INFO] Running org.eclipse.winery.model.adaptation.substitution.refinement.tests.TestRefinementTest
[INFO] Tests run: 1, Failures: 0, Errors: 0, Skipped: 0, Time elapsed: 0.004 s - in org.eclipse.winery.model.adaptation.substitution.refinement.tests.TestRefinementTest
[INFO] Running org.eclipse.winery.model.adaptation.substitution.SubstitutionUtilsTest
[INFO] Tests run: 6, Failures: 0, Errors: 0, Skipped: 0, Time elapsed: 0.008 s - in org.eclipse.winery.model.adaptation.substitution.SubstitutionUtilsTest
[INFO] Running org.eclipse.winery.model.adaptation.problemsolving.algorithms.SecureContainerProxyAlgorithmTest
[INFO] Tests run: 1, Failures: 0, Errors: 0, Skipped: 0, Time elapsed: 0.895 s - in org.eclipse.winery.model.adaptation.problemsolving.algorithms.SecureContainerProxyAlgorithmTest
[INFO] Running org.eclipse.winery.model.adaptation.problemsolving.algorithms.IpSecAlgorithmTest
06:28:39.782 [main] INFO  o.e.w.common.json.JacksonProvider:36 <clinit> - Initializing json mapper...
06:28:39.783 [main] INFO  o.e.w.common.json.JacksonProvider:47 <clinit> - Initialized JsonMapper with VisibilityChecker [Visibility: getter=ANY,isGetter=ANY,setter=ANY,creator=ANY,field=PUBLIC_ONLY]
[INFO] Tests run: 1, Failures: 0, Errors: 0, Skipped: 0, Time elapsed: 0.467 s - in org.eclipse.winery.model.adaptation.problemsolving.algorithms.IpSecAlgorithmTest
[INFO] 
[INFO] Results:
[INFO] 
[INFO] Tests run: 34, Failures: 0, Errors: 0, Skipped: 0
[INFO] 
[JENKINS] Recording test results
[INFO] 
[INFO] --- maven-jar-plugin:2.4:jar (default-jar) @ org.eclipse.winery.model.adaptation ---
[INFO] Building jar: /home/jenkins/agent/workspace/winery-jdk8/org.eclipse.winery.model.adaptation/target/org.eclipse.winery.model.adaptation-2.0.0-SNAPSHOT.jar