svnkit - Revision 10888: /tags/10.1.12-rc2/svnkit-javahl16/.settings