[jbosstools-issues] [JBoss JIRA] (JBIDE-10391) an existing .gitignore should get merged