[jboss-user] [Installation, Configuration & Deployment] - how to generate "server-config.wsdd" in JBossIde ??