Matthias Sohn b48f5739d7 Re-add servlet-api 4.0 to the target platform ... This was removed from the JGit target platform by mistake in 6ca3d219. Change-Id: Iedae0586fb96651255b67ed6dbb9ff7702c0ea54		2023-01-16 14:35:55 +01:00
..
jetty-10.0.x.tpd	Re-add servlet-api 4.0 to the target platform	2023-01-16 14:35:55 +01:00