Bug 294303 [Markers] 'Queuing Viewer Updates' in Problems view
bundles/org.eclipse.ui.ide/src/org/eclipse/ui/internal/views/markers/MarkersChangeListener.java
*/
				return true;
			}
		}
		
		/** 
		 * Schedules quickly if any update is pending,
		 * Or prepares for quick scheduling on next change
		 */
		void clearUpdates() {
			/* if we have a distant pending update
			 * schedule it with CANCEL_MARGIN_DELAY
			 */
			long diff = timeB4Update - System.currentTimeMillis();
			timeB4Update = -1;
			if (diff > CANCEL_MARGIN_DELAY) {
				update();
			} 
			/* Else wait for next change(Post-Change?), it 
			 * will be scheduled with CANCEL_MARGIN_DELAY
			 */
			timeB4Update = -1;
		}
		void go(long delay, boolean cancelPrevious) {
			timeB4Update = System.currentTimeMillis() + delay;
			scheduleUpdate(delay, cancelPrevious);
		}
	}
}