github mirror of the dnsjava.org svn repo from sf.net