Update jdt.core with commit f357f309273e0bfe8345ff708d18fa83c6a34931 
on behalf of bug 437444
35 files changed