[jbosstools-commits] JBoss Tools SVN: r12828 - in trunk/jbpm/plugins/org.jboss.tools.jbpm.convert: .settings and 6 other directories.