[jbosstools-issues] [JBoss JIRA] Created: (JBIDE-3716) CLONE -org.jbpm.gd.jpdl has wrong provider, and wrong version?

CLONE -org.jbpm.gd.jpdl has wrong provider, and wrong version? -------------------------------------------------------------- Key: JBIDE-3716 URL: https://jira.jboss.org/jira/browse/JBIDE-3716 Project: Tools (JBoss Tools) Issue Type: Bug Components: jbpm Affects Versions: 3.0.0.CR2 Reporter: Koen Aers Assignee: Koen Aers Fix For: 3.0.0.GA See screenshot. This is taken from JBT 3.0.0.CR2-R200901280154. Despite fetching from fetchTag=jbpm_jpdl_gpd_3_1_6, this shows the plugin is at 3.1.5, not 3.1.6. Is that correct? If so, then fixing the provider should increment it to 3.1.6, I suppose. -- This message is automatically generated by JIRA. - If you think it was sent incorrectly contact one of the administrators: https://jira.jboss.org/jira/secure/Administrators.jspa - For more information on JIRA, see: http://www.atlassian.com/software/jira