changing Java EE API links to https