renamed CVS navigation menu item to Subversion and changed the url to point to the subversion repository; renames the Javadoc (CVS latest) navigation menu item to Javadoc (SVN latest)