Re: [jbosstools-dev] Some updates on new terminal