Adjustments after jdt.core update
4 files changed