henshinTGG: update of examples