# HG changeset patch
# User robcast
# Date 1263475616 -3600
# Node ID 6f0317ff5824675fd388f4e2a5778029d0b5d314
# Parent  85979eda5e63a1478e25d3b0167449b268f5853a
small clean up

diff -r 85979eda5e63 -r 6f0317ff5824 servlet/src/digilib/servlet/DigilibInfoReader.java
--- a/servlet/src/digilib/servlet/DigilibInfoReader.java	Thu Jan 07 16:57:04 2010 +0100
+++ b/servlet/src/digilib/servlet/DigilibInfoReader.java	Thu Jan 14 14:26:56 2010 +0100
@@ -9,9 +9,9 @@
 import java.util.List;
 
 import org.apache.log4j.Logger;
-import org.jdom.*;
-import org.jdom.input.*;
-import org.jdom.output.*;
+import org.jdom.Document;
+import org.jdom.Element;
+import org.jdom.input.SAXBuilder;