[xwiki-devs] XWiki Enterprise 4.1.x GPL vs. LGPL question

I noticed that the rhq-pluginAnnotations-3.0.4.jar JAR is used in xwiki-enterprise-jetty-hsqldb-4.1.2. The source code for rhq-pluginAnnotations-3.0.4 [1] uses the GNU General Public License. However, the overall licence for xwiki-enterprise-jetty-hsqldb-4.1.2 is GNU LESSER GENERAL PUBLIC LICENSE (see xwiki-enterprise-jetty-hsqldb-4.1.2\META-INF\LICENSE file that comes with the distro). If the overall distro uses a GPL library, don't the copy left provisions of the GPL require shouldn't that require the whole distro fall under the GPL license? Refs. [1] http://grepcode.com/file/repository.jboss.org/nexus/content/repositories/re…