Plugins for the Oxygen XML Editor