upgraded patch to jdt 80ad073