ensure servlet API jar gets bundled in to the distribution so it can be included...
[java-idp.git] / doc /
drwxr-xr-x   ..
-rw-r--r-- 725 CREDITS.txt
-rw-r--r-- 1473 README.txt
-rw-r--r-- 9909 RELEASE-NOTES.txt