svnkit - Revision 10893: /branches/ssh.ping/contrib/sequence/src/de