jdt.core updates