[jbosstools-dev] List changes: JBoss IDE becoming JBoss Tools

All, The JBoss IDE mailing lists have been renamed: jbosside-announce(a)lists.jboss.org is now jbosstools-announce(a)lists.jboss.org. jbosside-dev(a)lists.jboss.org is now jbosstools-dev(a)lists.jboss.org. jbosside-commits(a)lists.jboss.org is now jbosstools-commits(a)lists.jboss.org. jbosside-issues(a)lists.jboss.org is now jbosstools-issues(a)lists.jboss.org. The old jbosside-* list names will continue to exist for the time being as aliases to the corresponding new jbosstools-* lists. Thanks, Tom Benninger Senior Information System Engineer JBoss, a division of Red Hat.