tree 523b27d8596daeee10a37b871818528a4e98926f
parent 496385531859cb8e0b825ba757289da3ddf4bf38
author Marc Kupietz <kupietz@ids-mannheim.de> 1758872132 +0200
committer Marc Kupietz <kupietz@ids-mannheim.de> 1758872982 +0200

Fix missing HandlerList in Jetty 12 for lite build

org.eclipse.jetty.server.handler.HandlerList is no more provided in
Jetty 12

Change-Id: Ife72b52b93ed907b845644fe1d943a3c733e9604