fix servlet dependency for community/extensions