eclipse / gerrit / henshin / org.eclipse.emft.henshin / ea2bc7b46b89c1ddbdd10ea92089c1155da19e8d / . / plugins / variability / org.eclipse.emf.henshin.variability.configuration.ui / src / org / eclipse / emf / henshin / variability / configuration / ui / controls