docs: protected void checkPauseAndWait() {
  		pauseLock.lock();
  		try {
  			while (paused && ! stopped) {
  				pausedCondition.await();
  			}
  		} catch (InterruptedException e) {
  		} finally {
  			pauseLock.unlock();
  		}
  	}