136d6cc3a5
It is wrong to include the servlet API in a WAR's WEB-INF/lib directory. This confuses some servlet containers who refuse to load the Gerrit WAR. Instead package the Jetty runtime and the servlet API in a new WEB-INF/pgm-lib directory. Change-Id: Ic5fe14c735e781b2d78d2fa8d0d403a08b7ee21f