[jboss-user] [JBoss Tools] - Using diffmk to add updated/added markers to TOC