0001-path-substitution.patch
0002-jetty-compatibility.patch
0003-json-simple-3.patch
	
