Minor javadoc cleanup in servlet module