.xtend is now in UTF-8, minor prodding here and there