eclipse / egf / org.eclipse.emf.egf / 717c331770fffda504c41b238e002357d3b691cd / . / deprecated / portfolio / EcoreTools / plugins / org.eclipse.egf.portfolio.genchain.ecoretools.edit / src / org / eclipse / egf / portfolio / genchain / ecoretools / ecoreToolsExtension / provider