java@gentoo.org jakartaee/servlet provides javax.servlet https://jakarta.ee/specifications/servlet/6.0/ https://jakarta.ee/specifications/servlet/6.1/