Alexander Schwartz 850af55edc Ensure that only JDK 8 APIs are used where JDK 8 is still required. ... Closes #10842		2022-06-20 14:44:33 -03:00
..
jetty-core	Ensure that only JDK 8 APIs are used where JDK 8 is still required.	2022-06-20 14:44:33 -03:00
jetty9.4
pom.xml