k3-examples: Exhaustive metamodel example as an Eclipse project