--- source/gnu/xml/dom/JAXPFactory.java.orig 2004-11-29 19:17:44.000000000 +0100 +++ source/gnu/xml/dom/JAXPFactory.java.orig 2005-08-20 14:31:45.000000000 +0200 @@ -284,5 +284,16 @@ } + public boolean getFeature(String string) + { + /* FIXME: unimplemented */ + return false; + } + + public void setFeature(String string, boolean bool) + { + /* FIXME: unimplemented */ + } + } --- source/gnu/xml/dom/DomDocumentBuilderFactory.java.orig 2004-12-02 19:51:08.000000000 +0100 +++ source/gnu/xml/dom/DomDocumentBuilderFactory.java.orig 2005-08-20 14:29:00.000000000 +0200 @@ -125,5 +125,16 @@ // TODO } + public boolean getFeature(String string) + { + /* FIXME: unimplemented */ + return false; + } + + public void setFeature(String string, boolean bool) + { + /* FIXME: unimplemented */ + } + } --- source/gnu/xml/libxmlj/dom/GnomeDocumentBuilderFactory.java.orig 2004-11-29 19:17:44.000000000 +0100 +++ source/gnu/xml/libxmlj/dom/GnomeDocumentBuilderFactory.java.orig 2005-08-20 14:35:09.000000000 +0200 @@ -91,4 +91,15 @@ // TODO } + public boolean getFeature(String string) + { + /* FIXME: unimplemented */ + return false; + } + + public void setFeature(String string, boolean bool) + { + /* FIXME: unimplemented */ + } + }