Manifest headers for export version is wrong

[janbartel]

The manifest for the 4.0.2 version of the api jar has these export-package headers:

Export-Package: javax.servlet;uses:="javax.servlet.annotation,javax.se rvlet.descriptor";version="4.0.0",javax.servlet.annotation;uses:="jav ax.servlet";version="4.0.0",javax.servlet.descriptor;version="4.0.0", javax.servlet.http;uses:="javax.servlet";version="4.0.0"

Surely that should be version 4.0.2? Otherwise it is impossible to create a bundle that depends on version 4.0.2 of the api.