wyclipse.jdt: very minor bug fix