Fixed: [Issue 217] Error markers never disappear. Added to plugin.xml the missing parts from plugin.xml_gen.