A collection of small library extensions for Xtend