svnkit - Revision 10888: /branches/1.7-split/contrib/servlet-api