Configuration plug-in for the Eclipse plug-in Wicked Shell