[jbosstools-commits] JBoss Tools SVN: r3917 - trunk/documentation/GettingStartedGuide/docs/userguide/en/modules.