JavaDoc updates for Repository.java constructor