Whenever JDT is patched, the change is marked with a particular comment so we know we did something. See the other places where we touch JDT - it makes it easier when doing a subsequent merge of JDT changes into our patch.