[jbosstools-issues] [JBoss JIRA] Updated: (JBDS-702) Tool to replace diffmk