Updating svn extension library svnkit to version 1.8.8

[ljo]

Updating svn extension library svnkit to version 1.8.8 to support jdk7u75+ and jdk8u31+. Please remove your current EXIST_HOME/lib/user/{svnkit,svnkit-cli}.jar to update on build.

[joewiz]

I thought I'd mention that after removing the previous EXIST_HOME/lib/user{svnkit*}.jar and building from today's develop (for the first time since before this commit), I got this warning (with local.build.properties set to include.feature.svn = true):

     [echo] Compiling sources 'svn'
    [mkdir] Created dir: /Users/joe/workspace/exist/extensions/svn/build/classes
    [javac] Compiling 187 source files to /Users/joe/workspace/exist/extensions/svn/build/classes
    [javac] /Users/joe/workspace/exist/extensions/svn/src/org/exist/versioning/svn/wc/admin/SVNAdminClient.java:1618: warning: non-varargs call of varargs method with inexact argument type for last parameter;
    [javac]             SVNErrorMessage err = SVNErrorMessage.create(SVNErrorCode.IO_ERROR, "Session is rooted at ''{0}'' but the repos root is ''{1}''", new SVNURL[] {
    [javac]                                                                                                                                               ^
    [javac]   cast to Object for a varargs call
    [javac]   cast to Object[] for a non-varargs call and to suppress this warning
    [javac] Note: Some input files use or override a deprecated API.
    [javac] Note: Recompile with -Xlint:deprecation for details.
    [javac] Note: Some input files use unchecked or unsafe operations.
    [javac] Note: Recompile with -Xlint:unchecked for details.
    [javac] 1 warning

I assumed this is something I could safely ignore, but I thought I'd mention it, @ljo, just in case you weren't aware?