make sure servlet and jsp APIs don't make it in to the final package
[java-idp.git] / doc /
drwxr-xr-x   ..
-rw-r--r-- 712 CREDITS.txt
-rw-r--r-- 1478 README.txt
-rw-r--r-- 13925 RELEASE-NOTES.txt