# HG changeset patch
# User cmielack
# Date 1236956113 -3600
# Node ID 1d8e95c3eba559db6912925670331c6b65868b97
# Parent  ab94692bff0cf5ef0a164b4305ca37b8f59e521b
jdom is needed for reading the info.xml

diff -r ab94692bff0c -r 1d8e95c3eba5 servlet/jdom.jar
Binary file servlet/jdom.jar has changed