diff -r 4d7cee25a474 -r d8fb90a2e11f runtime/Worker.py
--- a/runtime/Worker.py	Tue Oct 02 15:57:26 2018 +0200
+++ b/runtime/Worker.py	Wed Oct 03 00:05:32 2018 +0200
@@ -12,6 +12,7 @@
 import thread
 from threading import Lock, Condition
 
+
 class job(object):
     """
     job to be executed by a worker