[jbosstools-issues] [JBoss JIRA] (JBIDE-23361) Filter text field in Server Editor's Deployment tab is too tall