Java to Xtend conversion