Attached are the server.xml and context.xml files we use for testing.