祝乃庆 Thu, 25 Oct 2007 20:57:42 -0700
This method is only used in Highlighter.java. If I doesn't use this Class,When the close method should been call?
