Documenting the source of "lib/servlet-api"