55565758596061626364656667
changed = true; } double expireTime = ((TimestampedTuple) d).getTimeStamp() - duration; while (true) { TimestampedTuple tail = window.get(0); if (tail != null & tail.getTimeStamp()<= expireTime) { window.remove(0); changed = true; } else { break; }