[jbosside-dev] jBPM feature doesn't include "core" plugin?

Hey guys.. For a while the nightly builds have been failing on the load of org.jbpm.gd.jpdl.core, so I started to look into it today. It looks like the org.jbpm.gd.jpdl.feature isn't listing the core plugin as one of it's plugins, and hence it is not getting included in the zip file that's being generated. Koen is this just an oversight? -- Marshall Culpepper marshall.culpepper(a)jboss.com JBoss Eclipse IDE Lead, JBoss Inc.