The plugin.xml file should be automatically generated. The driver for this is for example the synchronisation of file extensions between esv and plugin.xml as suggested by https://yellowgrass.org/issue/Spoofax/325.

The issue is that this file may contain user-specified extensions which should be preserved. The solution may be to have an user-area which does not get touched.

Submitted by Vlad Vergu on 30 January 2013 at 13:30