replacing some old javadocs links with new ones referring to github