[ jEdit-devel ] XML-Parser strange behaviour?

[Lars G. <Lar...@re...>]

Hi all,

I have a problem with the jedit xml parser:

When I open jedit and parse some xml file at the first parsing everything works fine but if I parse a second file or reparse the first one (I do this via the sidekick plugin) then it reports every entity as undeclared. I have attached a little sample file and dtd, with the hope that someone can reproduce my problem.  Can anybody explain me what went wrong and how to solve this nasty problem? 

Some infos about my setup:
18:24:59 [main] [message] Log: When reporting bugs, please include the following information:
18:24:59 [main] [message] Log: java.version=1.6.0_26
18:24:59 [main] [message] Log: java.vm.version=20.1-b02
18:24:59 [main] [message] Log: java.runtime.version=1.6.0_26-b03
18:24:59 [main] [message] Log: java.vendor=Sun Microsystems Inc.
18:24:59 [main] [message] Log: java.compiler=null
18:24:59 [main] [message] Log: os.name=Windows 7
18:24:59 [main] [message] Log: os.version=6.1
18:24:59 [main] [message] Log: os.arch=x86
18:24:59 [main] [message] Log: java.home=C:\Program Files (x86)\Java\jre6
18:24:59 [main] [message] Log: java.class.path=C:\Program Files\jEdit\jedit.jar
18:25:00 [main] [notice] jEdit: jEdit version 4.4.1

Thanks
Lars