[jbosstools-commits] JBoss Tools SVN: r31810 - branches/jbosstools-3.2.x/jbpm/plugins/org.jboss.tools.jbpm.convert/.settings.