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