Servlet implementation. Fix some javadoc warnings.