anchor.diff:  "Task 5" is fine.
   
   jtwfg can analyze such graphs and find the deadlock(s).
  -
  -=== Motivation for jtwg
  -
  -Since I didn't found a "small" and "standalone" library for custom engine deadlock detection on the JVM, I wrote my own. Party!
  -If you know an other solution I don't know about, thanks for pointing to it.
   
   === More about the deadlock detection topic in general
   
  
positive.code: > ./gradlew build
  ----
  
  
  
negative.code: 
  To use the jtwfg deadlock detection, you transform your "execution engine" domain model objects into jtwfg graph model objects and call then the jtwfg deadlock detector.
  
  === Example 1 for a deadlock in a "task wait for graph"
  
  A graph consists of *tasks* and synchronous *waits-for edges*. As soon as a circular dependency exists, the involved tasks are _deadlocked_.
  
  