push servlet configuration change; some improvements in the thumbnail code.