svnkit - Revision 10893: /branches/translator/contrib/servlet-api