[jbosstools-issues] [JBoss JIRA] (TOOLSDOC-577) Servers How To: Configure IDE for use with Docker