svnkit.build.properties revision 3852