fixes Sphinx: giant nose repaired.
fixes basicBatch.
fixes batchWithTimeout-plug-in.
fixes binomialPlusPool-plug-in.
fixes binomialPool-plug-in.
fixes constant rate plug-in.
fixes cottrell pool plug-in.
o.O
fixes cottrellRandomDelay plug-in.