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

[Koen Aers (JIRA)]

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