private final ITextListener textListener = new ITextListener() {
		@Override
		public void textChanged(TextEvent event) {
			if (event.getDocumentEvent() != null) {
				parseJob.onTextModified(event.getDocumentEvent());
			}
		}
	};
// ...
	private class ParseJob extends WorkspaceJob {
		public ParseJob() {
			super("My job");
			setSystem(true);
			setRule(null);
		}
// ...
		public void onTextModified(DocumentEvent modificationEvent) {
			// stamp anyway
			latestChangeTextEventEpochMillis = System.currentTimeMillis();

			schedule(PARSE_DELAY_MILLIS);
		}