[highlighting] Never apply outdated highlighting
https://bugs.eclipse.org/bugs/show_bug.cgi?id=449948

Change-Id: If6719e073c4589ccffc2e4d6772c64cbaae43e7a