Extension for Xtend library