k3-examples: Xtend SLE example