#133 Bug in polling

[Giuliano Casale]

Unclear if this is a bug or not:

JMT implements a version of polling such that when the buffer i becomes empty and buffer i+1 is also empty, then the server remains at buffer i, which may be called a “wait-and-see” policy, see Takagi 1988 CSUR, section 2.1. However, the default in the literature is that when the buffer i gets empty, and buffer i+1 is also empty, then the server moves immediately to i+1 and stays there waiting for a job to arrive.