On Tue, 2003-04-22 at 16:37, Zack Weinberg wrote: > I'm guessing that the org/w3c/dom files come from an external source, > and stripping them might make it harder to import newer versions of > these files - Thoughts? Correct. The libjava/org/w3c files come verbatim from the W3C. I don't recommend changing them. AG