8191810: jjs should avoid hard coded javadoc base url for shift-tab documentation feature