[jbosstools-dev] [Fwd: [JBoss Tools (users)] - Re: How to change Seam Runtime]