Added hotfix for SVN server problems.