jdt.core upgrade to c0f9341