tree fcd7eca4ac26f8e1f5dd66e2f404cc816e4a768a
parent 120a2ef4e497d22811be1c3444abafb4e5501372
author David Ostrovsky <david@ostrovsky.org> 1781767289 +0200
committer Matthias Sohn <matthias.sohn@sap.com> 1783415413 +0200

Bazel: Rename //lib:servlet-api to //lib:jakarta-servlet-api

//lib:servlet-api exported the canonical Jakarta servlet API
(jakarta.servlet:jakarta.servlet-api:6.1.0). The name did not
distinguish it from //lib:javax-servlet-api, which the EE8 bridge in
//org.eclipse.jgit.http.server.ee8 and //org.eclipse.jgit.lfs.server.ee8
uses to depend on javax.servlet:javax.servlet-api:4.0.1.

Rename the canonical target to //lib:jakarta-servlet-api so the API
flavour is self-evident at consumer sites. Migrate the six in-tree
consumers (http.server, http.test, junit.http, lfs.server,
lfs.server.test, pgm) in the same change. No compatibility alias is
kept: JGit is consumed from source by Gerrit through a git submodule,
which has its own //lib:* wrappers, and the EE8 bridge commit added
//lib:javax-servlet-api without an alias for the same reason.

Change-Id: I764b01d171d2c2dc55fecef89bf4b36ce1cb9c59