eclipse / gerrit / henshin / org.eclipse.emft.henshin / e2e6295dfd30e9999bb37436e0015db3efee7d9b / . / plugins / variability / org.eclipse.emf.henshin.variability.configuration.ui / src / org / eclipse / emf / henshin / variability / configuration / ui / providers