Fixed: [Issue 217] Error markers never disappear.

Added to plugin.xml the missing parts from plugin.xml_gen.
1 file changed