fixed a compatibility problem with Xtend 2.4.0