Re: [jbosstools-dev] org.jboss.tools.seam.xml vsorg.jboss.tools.seam.pages.xml ?

> These two plugins share a largish plugin.properties file which seems to > be identical. > /org.jboss.tools.seam.xml/plugin.properties > /org.jboss.tools.seam.pages.xml/plugin.properties > Are there perhaps a lot of old messages sitting in one of these files? All properties in both these files are obsolete, except 'providerName' and 'pluginName'. I will clean the files. Slava Kabanovich