tweaking scheduler

jdeeco-core/src/cz/cuni/mff/d3s/deeco/knowledge/local/LocalSession.java

@@ -16,7 +16,8 @@ public void begin() {
 		kr.lock.lock();
 
 		// we must break transition here because there may be no thread choices at "park/unpark"
-		Thread.yield();
+		// not necessary when we limit consecutive runs of every process
+		//Thread.yield();
 	}
 
 	@Override

jdeeco-jpf/src/cz/cuni/mff/d3s/deeco/scheduling/MultithreadedSchedulerJPF.java

@@ -148,6 +148,9 @@ public void run() {
 				}
 
 				count++;
+
+				// let other threads run after each completed session
+				Thread.yield();
 			}
 		}
 	}