tree 7202566664aced3ce36b1229072bb4ae9166dee6
parent d7be9636c7261a0ff42275304ea85d9ff1ad5127
author Helge <stallkamp@ids-mannheim.de> 1721224605 +0200
committer Helge <stallkamp@ids-mannheim.de> 1721224605 +0200

Upgrade jetty (closes #8 #9)

Change-Id: Ib8083caba3b597fb742e12a0b8ea1657e694a457