revert removing of de.ovgu.featureide.ui.mpl