private String hashToStr(Hashtable l)	{
			StringBuffer sb = new StringBuffer("[");
			for (Enumeration e = l.keys(); e.hasMoreElements(); )	{
				String s = (String)e.nextElement();
				sb.append(s);
				if (e.hasMoreElements())
					sb.append(", ");
				else
				if (l.size() == 1 && s.length() <= 0)	// only Epsilon
					sb.append(" ");
			}
			sb.append("]");
			return sb.toString();
		}