# HG changeset patch
# User robcast
# Date 1047913225 -3600
# Node ID 757068ff7a2651341a969c267dcfd8eedef8f89a
# Parent  a398fc09ba71fee76c2a40026afba196a3374116
New version 1.8b4.
Uses new Collection classes.

diff -r a398fc09ba71 -r 757068ff7a26 servlet/src/digilib/servlet/DigilibConfiguration.java
--- a/servlet/src/digilib/servlet/DigilibConfiguration.java	Mon Mar 17 15:59:12 2003 +0100
+++ b/servlet/src/digilib/servlet/DigilibConfiguration.java	Mon Mar 17 16:00:25 2003 +0100
@@ -21,7 +21,7 @@
 package digilib.servlet;
 
 import java.io.File;
-import java.util.Hashtable;
+import java.util.HashMap;
 import java.util.StringTokenizer;
 
 import javax.servlet.ServletConfig;
@@ -83,7 +83,7 @@
 	// Utils instance
 	private Utils util = new Utils(debugLevel);
 	// HashTable for parameters
-	private Hashtable confTable = null;
+	private HashMap confTable = null;
 	// Type of DocuImage instance
 	private String docuImageType = "digilib.image.JAIDocuImage";
 	private String docuImageTypeParam = "docuimage-class";