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

diff -r e9d116e7ecea -r a1984c7dcb27 servlet/jdom.jar
Binary file servlet/jdom.jar has changed