[jbosside-dev] Re: JBossIDE WSTools source directory problem