Re: [ jEdit-devel ] Xml parser: why com.microstart.xml?

begin Slava Pestov quotation:
> I intend to do some work on the XML plugin before or shortly after
> 3.2final.  jaxp.jar is the javax.xml package from Sun, right? What is
> the minimum JDK version it requires?

from http://java.sun.com/xml/jaxp-1.1/install.html:

-- 8< --

System Requirements

   This version of the Java API for XML Processing requires:
     * JDK 1.1.8 or later (including any version of Java 2)
     * At least 8MB of free disk space

-- >8 --

> I think in the short term, XML plugin should use its own parser
> (crimson maybe? If the reported line number/column number problem is
> fixed); then other plugins can depend on the XML plugin if they wish
> to use a more civilised parser. Then I will switch to a different
> parser sometime in the 4.0 series, moving AElfred to its own plugin so
> that plugins using it can keep working until they are updated.

sounds good to me.

-md