bring jdt patch for 37 and 43 into line