[ jEdit-devel ] DefaultErrorSource, ErrorSource obsolete or moved in other package?

[<KHa...@t-...>]

Are these classes obsolete now or moved to an other package?
import org.gjt.sp.jedit.DefaultErrorSource;
import org.gjt.sp.jedit.ErrorSource;

Can't find it in CVS:
http://cvs.sourceforge.net/cgi-bin/viewcvs.cgi/jedit/jEdit/org/gjt/sp/jedit/

can't find it in:
jedit321source.tar.gz

-- 
Klaus Hartlage
Math java project:  http://www.hartmath.org
Riding the Java wave: http://www.jsurfer.org