Hi all,
I just has been affected by this now. I was to updated a fleet of old VMs with Ubuntu 18.04 LTS with Tomcat 7 to Debian 12 with Tomcat 9 .
I know that the remove tomcat9 packages was done on December of
      2023 and that this was decided a long time ago. But I think that
      nobody has stopped to consider that you cannot simply migrate
        from Tomcat 9 to 10 (inserte here meme), because the
      javax.* to jakarta.* packages problem. The changes needed to move
      a web application from javax to jackarte aren't simple to do.
      Specially when 3rd party java libraries, aren't migrated yet
        to jakarta packages ( for example Apache Commons Email ). I
      really hope that someone could reconsider to keep both Tomcat 9
      and Tomcat 10 on Debian 12. If some help it's needed to do this, I
      could help (however I don't have idea how to do this).
    
I choose Debian instead of keeping using Ubuntu server, because
      the well know stability of Debian (plus I HATE Canonical weird
      things and forcing snap on everything) and I don't expected this
      kind of changes inside a stable version. I was expecting that
      Tomcat 9 would be removed in Debian 13, specially when I first
      configured our Debian 12 virtual machine template, Tomcat 9 was
      yet there.
    
Luis Panadero Guardeño
        Departamento de Informática
        luis.panadero@digibis.com 

C/ Alenza, 4, 5ª planta.
        28003 Madrid
        Tf. 91 432 08 88 . Fax 91 432 11 13 
Certificado ISO 9001.
        No imprimir si no es necesario.
          Protejamos el Medio Ambiente 
        En cumplimiento de la LOPD y la LSSI, le informamos de que sus
        datos personales son incorporados a un fichero, titularidad de
        DIGIBÍS, S.L.U., con el fin de ofrecerle información sobre
        servicios que pueden ser de su interés. Podrá ejercitar sus
        derechos ARCO (de acceso, rectificación, cancelación y
        oposición) mediante un escrito dirigido a  digibis@digibis.com
        , con copia del DNI o documento identificativo sustitutorio.
        En caso de querer darse de baja pinche 
          aquí.