(hmpp) Fix code to make it compliant with Xtend < 2.4