[FIXED JENKINS-19175] Add workaround while waiting for svnkit release with fix