* Added Null task instantiation in case of non-preemptive
          round robin scheduler
        * Add comment on pending issue on Round-Robin scheduler
Merge branch 'master' into spark2014
Merge branch 'master' into spark2014
Merge branch 'spark2014'
	* Defend against incomplete process detection in case of
          threads that are part of a device driver.