}
}
// make a 'nice' report
PrintWriter writer = resp.getWriter();
XMLEncoder encoder = new XMLEncoder(new WriterOutputStream(writer));
encoder.writeObject(results);
encoder.writeObject(exceptions);
encoder.writeObject(sharedContext);
encoder.close();
}