eclipse.preferences.version=1
encoding//metamodels/MutexA.ecorediag=UTF-8
encoding//metamodels/MutexB.ecorediag=UTF-8