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

[Nick Boldt (JIRA)]

org.jbpm.gd.jpdl has wrong provider, and wrong version?
-------------------------------------------------------

                 Key: JBIDE-3678
                 URL: https://jira.jboss.org/jira/browse/JBIDE-3678
             Project: Tools (JBoss Tools)
          Issue Type: Bug
            Reporter: Nick Boldt
         Attachments: Screenshot-1.png

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