Jenkins subversion plugin