Currently they use doc.getFirstChild, should use doc.getDocumentElement.
I just started with Gump and haven't gotten Jenny to finish correctly
yet, so please check this patch--it feels innocuous, but ... :-)
----------------------------------------------------------
Stuart Halloway : staff.develop.com/halloway
DevelopMentor : www.develop.com
Essential Java : www.develop.com/courses/essjava
----------------------------------------------------------
---------------------------------------------------------------------
To unsubscribe, e-mail: [EMAIL PROTECTED]
For additional commands, e-mail: [EMAIL PROTECTED]
[PATCH] Jenny and LocalCheck barf on comment before document element
Stu Halloway (DevelopMentor) Sat, 15 Feb 2003 20:41:11 -0800