maturePurpleBuffer.flushLocal();
  private final void filterPurpleBufs(double timeCap) {    int p = filterPurpleBufs(unfilteredPurpleBuffer, maturePurpleBuffer,			     timeCap);    rc.setPurpleCounter(p);  }