Added third-party repository for JavaHelp