Jetty version(s)
12.1.x

Jetty Environment
ee10, ee11

Description
Currently, jetty-ee11 is a duplicate of jetty-ee10.

This is not optimal because:

• Changes performed in ee10 in a previous Jetty version were often "forgotten" to be duplicated in ee11.
• The code is duplicated
• The system of duplicating the source code would become unbearable for Jakarta EE 12, 13, etc.
• Come Jetty 13.0.x, we would risk again to perform changed in ee10/11 and forget to duplicate them in ee12 (like in the first bullet).

While comparing the source trees for ee10 and ee11, a few differences were found that are clearly "forgotten" merges or duplication from ee10 to ee11.

The two source trees should be compared and ee11 updated with everything that is in ee10 that's missing.