Paul says

I just wanted to make sure you saw the JBoss specs servlet api 2.5 [1].
This should be a valid OSGi bundle now. Will this work for you so you
no longer need the jbosgi javax.servlet jar?

[1]https://repository.jboss.org/nexus/content/repositories/releases/org/jboss/spec/javax/servlet/jboss-servlet-api_2.5_spec/1.0.0.Final/