Adding JMCR-Stable version

[Benchmarks_CSolver.git] / JMCR-Stable / mcr-test / config / stores / root.xml

diff --git a/JMCR-Stable/mcr-test/config/stores/root.xml b/JMCR-Stable/mcr-test/config/stores/root.xml
new file mode 100644 (file)
index 0000000..7dc61a4
--- /dev/null
+++ b/JMCR-Stable/mcr-test/config/stores/root.xml
@@ -0,0 +1,469 @@
+<?xml version='1.0' encoding='UTF-8'?>\r
+<jigxml version="1.0" xmlns="http://jigsaw.w3.org/JigXML/JigXML1.0">\r
+ <resource class='org.w3c.jigsaw.resources.DirectoryResource'>\r
+  <attribute name='identifier' flag='6' class='org.w3c.tools.resources.StringAttribute'>style</attribute>\r
+  <resourcearray name='frames' class='org.w3c.tools.resources.FrameArrayAttribute' length='1'>\r
+   <resource class='org.w3c.jigsaw.frames.HTTPFrame'>\r
+    <attribute name='identifier' flag='6' class='org.w3c.tools.resources.StringAttribute'>frame-0</attribute>\r
+    <resourcearray name='frames' class='org.w3c.tools.resources.FrameArrayAttribute' length='0'>\r
+    </resourcearray>\r
+    <attribute name='last-modified' flag='3' class='org.w3c.tools.resources.DateAttribute'>Tue, 27 Jul 1999 12:27:36 GMT</attribute>\r
+    <attribute name='help-url' flag='1' class='org.w3c.tools.resources.StringAttribute'>@@NULL@@</attribute>\r
+    <attribute name='oid' flag='1' class='org.w3c.tools.resources.IntegerAttribute'>@@NULL@@</attribute>\r
+    <attribute name='quality' flag='2' class='org.w3c.tools.resources.DoubleAttribute'>1.0</attribute>\r
+    <attribute name='title' flag='2' class='org.w3c.tools.resources.StringAttribute'>@@NULL@@</attribute>\r
+    <attribute name='content-language' flag='2' class='org.w3c.jigsaw.frames.LanguageAttribute'>@@NULL@@</attribute>\r
+    <attribute name='content-encoding' flag='2' class='org.w3c.jigsaw.frames.EncodingAttribute'>@@NULL@@</attribute>\r
+    <attribute name='content-type' flag='2' class='org.w3c.jigsaw.frames.MimeTypeAttribute'>text/plain</attribute>\r
+    <attribute name='charset' flag='2' class='org.w3c.tools.resources.StringAttribute'>@@NULL@@</attribute>\r
+    <attribute name='content-length' flag='1' class='org.w3c.tools.resources.IntegerAttribute'>@@NULL@@</attribute>\r
+    <attribute name='icon' flag='2' class='org.w3c.tools.resources.StringAttribute'>dir.gif</attribute>\r
+    <attribute name='maxage' flag='2' class='org.w3c.tools.resources.LongAttribute'>@@NULL@@</attribute>\r
+    <attribute name='send-md5' flag='2' class='org.w3c.tools.resources.BooleanAttribute'>false</attribute>\r
+    <attribute name='allow-delete' flag='2' class='org.w3c.tools.resources.BooleanAttribute'>false</attribute>\r
+    <attribute name='putable' flag='2' class='org.w3c.tools.resources.BooleanAttribute'>false</attribute>\r
+    <attribute name='relocate' flag='2' class='org.w3c.tools.resources.BooleanAttribute'>true</attribute>\r
+    <attribute name='index' flag='2' class='org.w3c.tools.resources.StringAttribute'>@@NULL@@</attribute>\r
+    <array name='indexes' flag='2' class='org.w3c.tools.resources.StringArrayAttribute' length='0'>\r
+    </array>\r
+    <attribute name='icondir' flag='2' class='org.w3c.tools.resources.StringAttribute'>@@NULL@@</attribute>\r
+    <attribute name='browsable' flag='2' class='org.w3c.tools.resources.BooleanAttribute'>false</attribute>\r
+    <attribute name='style-sheet-link' flag='2' class='org.w3c.tools.resources.StringAttribute'>/style/directory.css</attribute>\r
+   </resource>\r
+  </resourcearray>\r
+  <attribute name='last-modified' flag='3' class='org.w3c.tools.resources.DateAttribute'>Tue, 27 Jul 1999 12:27:36 GMT</attribute>\r
+  <attribute name='help-url' flag='1' class='org.w3c.tools.resources.StringAttribute'>@@NULL@@</attribute>\r
+  <attribute name='oid' flag='1' class='org.w3c.tools.resources.IntegerAttribute'>@@NULL@@</attribute>\r
+  <attribute name='key' flag='1' class='org.w3c.tools.resources.IntegerAttribute'>-1115056897</attribute>\r
+  <attribute name='dirstamp' flag='1' class='org.w3c.tools.resources.DateAttribute'>Tue, 27 Jul 1999 09:27:02 GMT</attribute>\r
+  <attribute name='indexer' flag='2' class='org.w3c.tools.resources.StringAttribute'>@@NULL@@</attribute>\r
+  <attribute name='extensible' flag='2' class='org.w3c.tools.resources.BooleanAttribute'>true</attribute>\r
+  <attribute name='shrinkable' flag='2' class='org.w3c.tools.resources.BooleanAttribute'>true</attribute>\r
+  <attribute name='negotiable' flag='2' class='org.w3c.tools.resources.BooleanAttribute'>false</attribute>\r
+ </resource>\r
+ <resource class='org.w3c.tools.resources.FileResource'>\r
+  <attribute name='identifier' flag='6' class='org.w3c.tools.resources.StringAttribute'>RelNotes.html</attribute>\r
+  <resourcearray name='frames' class='org.w3c.tools.resources.FrameArrayAttribute' length='1'>\r
+   <resource class='org.w3c.jigsaw.frames.HTTPFrame'>\r
+    <attribute name='identifier' flag='6' class='org.w3c.tools.resources.StringAttribute'>frame-0</attribute>\r
+    <resourcearray name='frames' class='org.w3c.tools.resources.FrameArrayAttribute' length='0'>\r
+    </resourcearray>\r
+    <attribute name='last-modified' flag='3' class='org.w3c.tools.resources.DateAttribute'>Thu, 17 Jun 2010 06:19:35 GMT</attribute>\r
+    <attribute name='help-url' flag='1' class='org.w3c.tools.resources.StringAttribute'>http://Jeff-PC:8001/Doc/Reference/org.w3c.jigsaw.frames.HTTPFrame.html</attribute>\r
+    <attribute name='oid' flag='1' class='org.w3c.tools.resources.IntegerAttribute'>278678302</attribute>\r
+    <attribute name='quality' flag='2' class='org.w3c.tools.resources.DoubleAttribute'>1.0</attribute>\r
+    <attribute name='title' flag='2' class='org.w3c.tools.resources.StringAttribute'>@@NULL@@</attribute>\r
+    <attribute name='content-language' flag='2' class='org.w3c.jigsaw.frames.LanguageAttribute'>@@NULL@@</attribute>\r
+    <attribute name='content-encoding' flag='2' class='org.w3c.jigsaw.frames.EncodingAttribute'>@@NULL@@</attribute>\r
+    <attribute name='content-type' flag='2' class='org.w3c.jigsaw.frames.MimeTypeAttribute'>text/html</attribute>\r
+    <attribute name='charset' flag='2' class='org.w3c.tools.resources.StringAttribute'>@@NULL@@</attribute>\r
+    <attribute name='content-length' flag='1' class='org.w3c.tools.resources.IntegerAttribute'>102120</attribute>\r
+    <attribute name='icon' flag='2' class='org.w3c.tools.resources.StringAttribute'>text.gif</attribute>\r
+    <attribute name='maxage' flag='2' class='org.w3c.tools.resources.LongAttribute'>@@NULL@@</attribute>\r
+    <attribute name='send-md5' flag='2' class='org.w3c.tools.resources.BooleanAttribute'>false</attribute>\r
+    <attribute name='allow-delete' flag='2' class='org.w3c.tools.resources.BooleanAttribute'>false</attribute>\r
+    <attribute name='putable' flag='2' class='org.w3c.tools.resources.BooleanAttribute'>false</attribute>\r
+    <attribute name='relocate' flag='2' class='org.w3c.tools.resources.BooleanAttribute'>true</attribute>\r
+    <attribute name='index' flag='2' class='org.w3c.tools.resources.StringAttribute'>@@NULL@@</attribute>\r
+    <array name='indexes' flag='2' class='org.w3c.tools.resources.StringArrayAttribute' length='0'>\r
+    </array>\r
+    <attribute name='icondir' flag='2' class='org.w3c.tools.resources.StringAttribute'>@@NULL@@</attribute>\r
+    <attribute name='browsable' flag='2' class='org.w3c.tools.resources.BooleanAttribute'>false</attribute>\r
+    <attribute name='style-sheet-link' flag='2' class='org.w3c.tools.resources.StringAttribute'>@@NULL@@</attribute>\r
+   </resource>\r
+  </resourcearray>\r
+  <attribute name='last-modified' flag='3' class='org.w3c.tools.resources.DateAttribute'>Thu, 17 Jun 2010 06:19:35 GMT</attribute>\r
+  <attribute name='help-url' flag='1' class='org.w3c.tools.resources.StringAttribute'>http://Jeff-PC:8001/Doc/Reference/org.w3c.tools.resources.FileResource.html</attribute>\r
+  <attribute name='oid' flag='1' class='org.w3c.tools.resources.IntegerAttribute'>@@NULL@@</attribute>\r
+  <attribute name='filename' flag='2' class='org.w3c.tools.resources.FilenameAttribute'>@@NULL@@</attribute>\r
+  <attribute name='file-stamp' flag='1' class='org.w3c.tools.resources.DateAttribute'>Tue, 15 Jun 2010 12:29:45 GMT</attribute>\r
+  <attribute name='file-length' flag='1' class='org.w3c.tools.resources.IntegerAttribute'>102120</attribute>\r
+  <attribute name='backup' flag='2' class='org.w3c.tools.resources.BooleanAttribute'>false</attribute>\r
+ </resource>\r
+ <resource class='org.w3c.jigsaw.resources.DirectoryResource'>\r
+  <attribute name='identifier' flag='6' class='org.w3c.tools.resources.StringAttribute'>cgi-bin</attribute>\r
+  <resourcearray name='frames' class='org.w3c.tools.resources.FrameArrayAttribute' length='1'>\r
+   <resource class='org.w3c.jigsaw.frames.HTTPFrame'>\r
+    <attribute name='identifier' flag='6' class='org.w3c.tools.resources.StringAttribute'>frame-0</attribute>\r
+    <resourcearray name='frames' class='org.w3c.tools.resources.FrameArrayAttribute' length='0'>\r
+    </resourcearray>\r
+    <attribute name='last-modified' flag='3' class='org.w3c.tools.resources.DateAttribute'>Tue, 27 Jul 1999 12:04:20 GMT</attribute>\r
+    <attribute name='help-url' flag='1' class='org.w3c.tools.resources.StringAttribute'>@@NULL@@</attribute>\r
+    <attribute name='oid' flag='1' class='org.w3c.tools.resources.IntegerAttribute'>@@NULL@@</attribute>\r
+    <attribute name='quality' flag='2' class='org.w3c.tools.resources.DoubleAttribute'>1.0</attribute>\r
+    <attribute name='title' flag='2' class='org.w3c.tools.resources.StringAttribute'>@@NULL@@</attribute>\r
+    <attribute name='content-language' flag='2' class='org.w3c.jigsaw.frames.LanguageAttribute'>@@NULL@@</attribute>\r
+    <attribute name='content-encoding' flag='2' class='org.w3c.jigsaw.frames.EncodingAttribute'>@@NULL@@</attribute>\r
+    <attribute name='content-type' flag='2' class='org.w3c.jigsaw.frames.MimeTypeAttribute'>text/plain</attribute>\r
+    <attribute name='charset' flag='2' class='org.w3c.tools.resources.StringAttribute'>@@NULL@@</attribute>\r
+    <attribute name='content-length' flag='1' class='org.w3c.tools.resources.IntegerAttribute'>@@NULL@@</attribute>\r
+    <attribute name='icon' flag='2' class='org.w3c.tools.resources.StringAttribute'>dir.gif</attribute>\r
+    <attribute name='maxage' flag='2' class='org.w3c.tools.resources.LongAttribute'>@@NULL@@</attribute>\r
+    <attribute name='send-md5' flag='2' class='org.w3c.tools.resources.BooleanAttribute'>false</attribute>\r
+    <attribute name='allow-delete' flag='2' class='org.w3c.tools.resources.BooleanAttribute'>false</attribute>\r
+    <attribute name='putable' flag='2' class='org.w3c.tools.resources.BooleanAttribute'>false</attribute>\r
+    <attribute name='relocate' flag='2' class='org.w3c.tools.resources.BooleanAttribute'>true</attribute>\r
+    <attribute name='index' flag='2' class='org.w3c.tools.resources.StringAttribute'>@@NULL@@</attribute>\r
+    <array name='indexes' flag='2' class='org.w3c.tools.resources.StringArrayAttribute' length='0'>\r
+    </array>\r
+    <attribute name='icondir' flag='2' class='org.w3c.tools.resources.StringAttribute'>@@NULL@@</attribute>\r
+    <attribute name='browsable' flag='2' class='org.w3c.tools.resources.BooleanAttribute'>false</attribute>\r
+    <attribute name='style-sheet-link' flag='2' class='org.w3c.tools.resources.StringAttribute'>/style/directory.css</attribute>\r
+   </resource>\r
+  </resourcearray>\r
+  <attribute name='last-modified' flag='3' class='org.w3c.tools.resources.DateAttribute'>Tue, 27 Jul 1999 12:04:20 GMT</attribute>\r
+  <attribute name='help-url' flag='1' class='org.w3c.tools.resources.StringAttribute'>@@NULL@@</attribute>\r
+  <attribute name='oid' flag='1' class='org.w3c.tools.resources.IntegerAttribute'>@@NULL@@</attribute>\r
+  <attribute name='key' flag='1' class='org.w3c.tools.resources.IntegerAttribute'>1765734754</attribute>\r
+  <attribute name='dirstamp' flag='1' class='org.w3c.tools.resources.DateAttribute'>Tue, 27 Jul 1999 09:26:12 GMT</attribute>\r
+  <attribute name='indexer' flag='2' class='org.w3c.tools.resources.StringAttribute'>@@NULL@@</attribute>\r
+  <attribute name='extensible' flag='2' class='org.w3c.tools.resources.BooleanAttribute'>true</attribute>\r
+  <attribute name='shrinkable' flag='2' class='org.w3c.tools.resources.BooleanAttribute'>true</attribute>\r
+  <attribute name='negotiable' flag='2' class='org.w3c.tools.resources.BooleanAttribute'>false</attribute>\r
+ </resource>\r
+ <resource class='org.w3c.jigsaw.resources.DirectoryResource'>\r
+  <attribute name='identifier' flag='6' class='org.w3c.tools.resources.StringAttribute'>Admin</attribute>\r
+  <resourcearray name='frames' class='org.w3c.tools.resources.FrameArrayAttribute' length='1'>\r
+   <resource class='org.w3c.jigsaw.frames.HTTPFrame'>\r
+    <attribute name='identifier' flag='6' class='org.w3c.tools.resources.StringAttribute'>frame-0</attribute>\r
+    <resourcearray name='frames' class='org.w3c.tools.resources.FrameArrayAttribute' length='1'>\r
+     <resource class='org.w3c.jigsaw.auth.GenericAuthFilter'>\r
+      <attribute name='identifier' flag='6' class='org.w3c.tools.resources.StringAttribute'>frame-0</attribute>\r
+      <resourcearray name='frames' class='org.w3c.tools.resources.FrameArrayAttribute' length='0'>\r
+      </resourcearray>\r
+      <attribute name='last-modified' flag='3' class='org.w3c.tools.resources.DateAttribute'>Fri, 10 Jul 1998 09:29:51 GMT</attribute>\r
+      <attribute name='help-url' flag='1' class='org.w3c.tools.resources.StringAttribute'>@@NULL@@</attribute>\r
+      <attribute name='oid' flag='1' class='org.w3c.tools.resources.IntegerAttribute'>@@NULL@@</attribute>\r
+      <array name='methods' flag='2' class='org.w3c.tools.resources.StringArrayAttribute' length='0'>\r
+      </array>\r
+      <attribute name='realm' flag='6' class='org.w3c.tools.resources.StringAttribute'>admin</attribute>\r
+      <attribute name='shared-cachability' flag='2' class='org.w3c.tools.resources.BooleanAttribute'>false</attribute>\r
+      <attribute name='private-cachability' flag='2' class='org.w3c.tools.resources.BooleanAttribute'>false</attribute>\r
+      <attribute name='public-cachability' flag='2' class='org.w3c.tools.resources.BooleanAttribute'>false</attribute>\r
+      <array name='users' flag='2' class='org.w3c.tools.resources.StringArrayAttribute' length='1'>\r
+       <value>admin</value>\r
+      </array>\r
+      <array name='groups' flag='2' class='org.w3c.tools.resources.StringArrayAttribute' length='0'>\r
+      </array>\r
+     </resource>\r
+    </resourcearray>\r
+    <attribute name='last-modified' flag='3' class='org.w3c.tools.resources.DateAttribute'>Thu, 01 Oct 1998 13:56:08 GMT</attribute>\r
+    <attribute name='help-url' flag='1' class='org.w3c.tools.resources.StringAttribute'>@@NULL@@</attribute>\r
+    <attribute name='oid' flag='1' class='org.w3c.tools.resources.IntegerAttribute'>@@NULL@@</attribute>\r
+    <attribute name='quality' flag='2' class='org.w3c.tools.resources.DoubleAttribute'>1.0</attribute>\r
+    <attribute name='title' flag='2' class='org.w3c.tools.resources.StringAttribute'>@@NULL@@</attribute>\r
+    <attribute name='content-language' flag='2' class='org.w3c.jigsaw.frames.LanguageAttribute'>@@NULL@@</attribute>\r
+    <attribute name='content-encoding' flag='2' class='org.w3c.jigsaw.frames.EncodingAttribute'>@@NULL@@</attribute>\r
+    <attribute name='content-type' flag='2' class='org.w3c.jigsaw.frames.MimeTypeAttribute'>text/plain</attribute>\r
+    <attribute name='charset' flag='2' class='org.w3c.tools.resources.StringAttribute'>@@NULL@@</attribute>\r
+    <attribute name='content-length' flag='1' class='org.w3c.tools.resources.IntegerAttribute'>@@NULL@@</attribute>\r
+    <attribute name='icon' flag='2' class='org.w3c.tools.resources.StringAttribute'>dir.gif</attribute>\r
+    <attribute name='maxage' flag='2' class='org.w3c.tools.resources.LongAttribute'>@@NULL@@</attribute>\r
+    <attribute name='send-md5' flag='2' class='org.w3c.tools.resources.BooleanAttribute'>false</attribute>\r
+    <attribute name='allow-delete' flag='2' class='org.w3c.tools.resources.BooleanAttribute'>false</attribute>\r
+    <attribute name='putable' flag='2' class='org.w3c.tools.resources.BooleanAttribute'>false</attribute>\r
+    <attribute name='relocate' flag='2' class='org.w3c.tools.resources.BooleanAttribute'>true</attribute>\r
+    <attribute name='index' flag='2' class='org.w3c.tools.resources.StringAttribute'>Overview.html</attribute>\r
+    <array name='indexes' flag='2' class='org.w3c.tools.resources.StringArrayAttribute' length='0'>\r
+    </array>\r
+    <attribute name='icondir' flag='2' class='org.w3c.tools.resources.StringAttribute'>@@NULL@@</attribute>\r
+    <attribute name='browsable' flag='2' class='org.w3c.tools.resources.BooleanAttribute'>false</attribute>\r
+    <attribute name='style-sheet-link' flag='2' class='org.w3c.tools.resources.StringAttribute'>/style/directory.css</attribute>\r
+   </resource>\r
+  </resourcearray>\r
+  <attribute name='last-modified' flag='3' class='org.w3c.tools.resources.DateAttribute'>Thu, 01 Oct 1998 13:56:08 GMT</attribute>\r
+  <attribute name='help-url' flag='1' class='org.w3c.tools.resources.StringAttribute'>@@NULL@@</attribute>\r
+  <attribute name='oid' flag='1' class='org.w3c.tools.resources.IntegerAttribute'>@@NULL@@</attribute>\r
+  <attribute name='key' flag='1' class='org.w3c.tools.resources.IntegerAttribute'>82592644</attribute>\r
+  <attribute name='dirstamp' flag='1' class='org.w3c.tools.resources.DateAttribute'>Fri, 17 Jul 1998 07:59:28 GMT</attribute>\r
+  <attribute name='indexer' flag='2' class='org.w3c.tools.resources.StringAttribute'>@@NULL@@</attribute>\r
+  <attribute name='extensible' flag='2' class='org.w3c.tools.resources.BooleanAttribute'>true</attribute>\r
+  <attribute name='shrinkable' flag='2' class='org.w3c.tools.resources.BooleanAttribute'>true</attribute>\r
+  <attribute name='negotiable' flag='2' class='org.w3c.tools.resources.BooleanAttribute'>false</attribute>\r
+ </resource>\r
+ <resource class='org.w3c.tools.resources.FramedResource'>\r
+  <attribute name='identifier' flag='6' class='org.w3c.tools.resources.StringAttribute'>Icons</attribute>\r
+  <resourcearray name='frames' class='org.w3c.tools.resources.FrameArrayAttribute' length='1'>\r
+   <resource class='org.w3c.jigsaw.frames.RelocateFrame'>\r
+    <attribute name='identifier' flag='6' class='org.w3c.tools.resources.StringAttribute'>frame-0</attribute>\r
+    <resourcearray name='frames' class='org.w3c.tools.resources.FrameArrayAttribute' length='0'>\r
+    </resourcearray>\r
+    <attribute name='last-modified' flag='3' class='org.w3c.tools.resources.DateAttribute'>Wed, 08 Apr 1998 15:25:01 GMT</attribute>\r
+    <attribute name='help-url' flag='1' class='org.w3c.tools.resources.StringAttribute'>@@NULL@@</attribute>\r
+    <attribute name='oid' flag='1' class='org.w3c.tools.resources.IntegerAttribute'>@@NULL@@</attribute>\r
+    <attribute name='quality' flag='2' class='org.w3c.tools.resources.DoubleAttribute'>1.0</attribute>\r
+    <attribute name='title' flag='2' class='org.w3c.tools.resources.StringAttribute'>@@NULL@@</attribute>\r
+    <attribute name='content-language' flag='2' class='org.w3c.jigsaw.frames.LanguageAttribute'>@@NULL@@</attribute>\r
+    <attribute name='content-encoding' flag='2' class='org.w3c.jigsaw.frames.EncodingAttribute'>@@NULL@@</attribute>\r
+    <attribute name='content-type' flag='2' class='org.w3c.jigsaw.frames.MimeTypeAttribute'>text/plain</attribute>\r
+    <attribute name='charset' flag='2' class='org.w3c.tools.resources.StringAttribute'>@@NULL@@</attribute>\r
+    <attribute name='content-length' flag='1' class='org.w3c.tools.resources.IntegerAttribute'>@@NULL@@</attribute>\r
+    <attribute name='icon' flag='2' class='org.w3c.tools.resources.StringAttribute'>dir.gif</attribute>\r
+    <attribute name='maxage' flag='2' class='org.w3c.tools.resources.LongAttribute'>@@NULL@@</attribute>\r
+    <attribute name='send-md5' flag='2' class='org.w3c.tools.resources.BooleanAttribute'>false</attribute>\r
+    <attribute name='allow-delete' flag='2' class='org.w3c.tools.resources.BooleanAttribute'>false</attribute>\r
+    <attribute name='putable' flag='2' class='org.w3c.tools.resources.BooleanAttribute'>false</attribute>\r
+    <attribute name='relocate' flag='2' class='org.w3c.tools.resources.BooleanAttribute'>true</attribute>\r
+    <attribute name='index' flag='2' class='org.w3c.tools.resources.StringAttribute'>@@NULL@@</attribute>\r
+    <array name='indexes' flag='2' class='org.w3c.tools.resources.StringArrayAttribute' length='0'>\r
+    </array>\r
+    <attribute name='icondir' flag='2' class='org.w3c.tools.resources.StringAttribute'>@@NULL@@</attribute>\r
+    <attribute name='browsable' flag='2' class='org.w3c.tools.resources.BooleanAttribute'>false</attribute>\r
+    <attribute name='style-sheet-link' flag='2' class='org.w3c.tools.resources.StringAttribute'>/style/directory.css</attribute>\r
+    <attribute name='location' flag='6' class='org.w3c.tools.resources.StringAttribute'>/icons</attribute>\r
+    <attribute name='handle-pathinfo' flag='2' class='org.w3c.tools.resources.BooleanAttribute'>true</attribute>\r
+    <attribute name='permanent-redirect' flag='2' class='org.w3c.tools.resources.BooleanAttribute'>false</attribute>\r
+    <attribute name='use-usual-response' flag='2' class='org.w3c.tools.resources.BooleanAttribute'>true</attribute>\r
+    <array name='methods' flag='2' class='org.w3c.tools.resources.StringArrayAttribute' length='0'>\r
+    </array>\r
+   </resource>\r
+  </resourcearray>\r
+  <attribute name='last-modified' flag='3' class='org.w3c.tools.resources.DateAttribute'>Wed, 08 Apr 1998 15:25:01 GMT</attribute>\r
+  <attribute name='help-url' flag='1' class='org.w3c.tools.resources.StringAttribute'>@@NULL@@</attribute>\r
+  <attribute name='oid' flag='1' class='org.w3c.tools.resources.IntegerAttribute'>@@NULL@@</attribute>\r
+ </resource>\r
+ <resource class='org.w3c.jigsaw.resources.DirectoryResource'>\r
+  <attribute name='identifier' flag='6' class='org.w3c.tools.resources.StringAttribute'>User</attribute>\r
+  <resourcearray name='frames' class='org.w3c.tools.resources.FrameArrayAttribute' length='1'>\r
+   <resource class='org.w3c.jigsaw.frames.HTTPFrame'>\r
+    <attribute name='identifier' flag='6' class='org.w3c.tools.resources.StringAttribute'>frame-0</attribute>\r
+    <resourcearray name='frames' class='org.w3c.tools.resources.FrameArrayAttribute' length='0'>\r
+    </resourcearray>\r
+    <attribute name='last-modified' flag='3' class='org.w3c.tools.resources.DateAttribute'>Tue, 27 Jul 1999 12:04:18 GMT</attribute>\r
+    <attribute name='help-url' flag='1' class='org.w3c.tools.resources.StringAttribute'>http://Jeff-PC:8001/Doc/Reference/org.w3c.jigsaw.frames.HTTPFrame.html</attribute>\r
+    <attribute name='oid' flag='1' class='org.w3c.tools.resources.IntegerAttribute'>@@NULL@@</attribute>\r
+    <attribute name='quality' flag='2' class='org.w3c.tools.resources.DoubleAttribute'>1.0</attribute>\r
+    <attribute name='title' flag='2' class='org.w3c.tools.resources.StringAttribute'>@@NULL@@</attribute>\r
+    <attribute name='content-language' flag='2' class='org.w3c.jigsaw.frames.LanguageAttribute'>@@NULL@@</attribute>\r
+    <attribute name='content-encoding' flag='2' class='org.w3c.jigsaw.frames.EncodingAttribute'>@@NULL@@</attribute>\r
+    <attribute name='content-type' flag='2' class='org.w3c.jigsaw.frames.MimeTypeAttribute'>text/plain</attribute>\r
+    <attribute name='charset' flag='2' class='org.w3c.tools.resources.StringAttribute'>@@NULL@@</attribute>\r
+    <attribute name='content-length' flag='1' class='org.w3c.tools.resources.IntegerAttribute'>@@NULL@@</attribute>\r
+    <attribute name='icon' flag='2' class='org.w3c.tools.resources.StringAttribute'>dir.gif</attribute>\r
+    <attribute name='maxage' flag='2' class='org.w3c.tools.resources.LongAttribute'>@@NULL@@</attribute>\r
+    <attribute name='send-md5' flag='2' class='org.w3c.tools.resources.BooleanAttribute'>false</attribute>\r
+    <attribute name='allow-delete' flag='2' class='org.w3c.tools.resources.BooleanAttribute'>false</attribute>\r
+    <attribute name='putable' flag='2' class='org.w3c.tools.resources.BooleanAttribute'>false</attribute>\r
+    <attribute name='relocate' flag='2' class='org.w3c.tools.resources.BooleanAttribute'>true</attribute>\r
+    <attribute name='index' flag='2' class='org.w3c.tools.resources.StringAttribute'>Overview.html</attribute>\r
+    <array name='indexes' flag='2' class='org.w3c.tools.resources.StringArrayAttribute' length='0'>\r
+    </array>\r
+    <attribute name='icondir' flag='2' class='org.w3c.tools.resources.StringAttribute'>@@NULL@@</attribute>\r
+    <attribute name='browsable' flag='2' class='org.w3c.tools.resources.BooleanAttribute'>false</attribute>\r
+    <attribute name='style-sheet-link' flag='2' class='org.w3c.tools.resources.StringAttribute'>/style/directory.css</attribute>\r
+   </resource>\r
+  </resourcearray>\r
+  <attribute name='last-modified' flag='3' class='org.w3c.tools.resources.DateAttribute'>Thu, 17 Jun 2010 06:00:19 GMT</attribute>\r
+  <attribute name='help-url' flag='1' class='org.w3c.tools.resources.StringAttribute'>http://Jeff-PC:8001/Doc/Reference/org.w3c.jigsaw.resources.DirectoryResource.html</attribute>\r
+  <attribute name='oid' flag='1' class='org.w3c.tools.resources.IntegerAttribute'>@@NULL@@</attribute>\r
+  <attribute name='key' flag='1' class='org.w3c.tools.resources.IntegerAttribute'>-1325687855</attribute>\r
+  <attribute name='dirstamp' flag='1' class='org.w3c.tools.resources.DateAttribute'>Tue, 27 Jul 1999 09:47:42 GMT</attribute>\r
+  <attribute name='indexer' flag='2' class='org.w3c.tools.resources.StringAttribute'>@@NULL@@</attribute>\r
+  <attribute name='extensible' flag='2' class='org.w3c.tools.resources.BooleanAttribute'>true</attribute>\r
+  <attribute name='shrinkable' flag='2' class='org.w3c.tools.resources.BooleanAttribute'>true</attribute>\r
+  <attribute name='negotiable' flag='2' class='org.w3c.tools.resources.BooleanAttribute'>false</attribute>\r
+ </resource>\r
+ <resource class='org.w3c.jigsaw.resources.DirectoryResource'>\r
+  <attribute name='identifier' flag='6' class='org.w3c.tools.resources.StringAttribute'>root</attribute>\r
+  <resourcearray name='frames' class='org.w3c.tools.resources.FrameArrayAttribute' length='1'>\r
+   <resource class='org.w3c.jigsaw.frames.HTTPFrame'>\r
+    <attribute name='identifier' flag='6' class='org.w3c.tools.resources.StringAttribute'>frame-0</attribute>\r
+    <resourcearray name='frames' class='org.w3c.tools.resources.FrameArrayAttribute' length='0'>\r
+    </resourcearray>\r
+    <attribute name='last-modified' flag='3' class='org.w3c.tools.resources.DateAttribute'>Mon, 28 Sep 1998 11:52:45 GMT</attribute>\r
+    <attribute name='help-url' flag='1' class='org.w3c.tools.resources.StringAttribute'>http://Jeff-PC:8001/Doc/Reference/org.w3c.jigsaw.frames.HTTPFrame.html</attribute>\r
+    <attribute name='oid' flag='1' class='org.w3c.tools.resources.IntegerAttribute'>@@NULL@@</attribute>\r
+    <attribute name='quality' flag='2' class='org.w3c.tools.resources.DoubleAttribute'>1.0</attribute>\r
+    <attribute name='title' flag='2' class='org.w3c.tools.resources.StringAttribute'>the root resource</attribute>\r
+    <attribute name='content-language' flag='2' class='org.w3c.jigsaw.frames.LanguageAttribute'>@@NULL@@</attribute>\r
+    <attribute name='content-encoding' flag='2' class='org.w3c.jigsaw.frames.EncodingAttribute'>@@NULL@@</attribute>\r
+    <attribute name='content-type' flag='2' class='org.w3c.jigsaw.frames.MimeTypeAttribute'>text/plain</attribute>\r
+    <attribute name='charset' flag='2' class='org.w3c.tools.resources.StringAttribute'>@@NULL@@</attribute>\r
+    <attribute name='content-length' flag='1' class='org.w3c.tools.resources.IntegerAttribute'>@@NULL@@</attribute>\r
+    <attribute name='icon' flag='2' class='org.w3c.tools.resources.StringAttribute'>dir.gif</attribute>\r
+    <attribute name='maxage' flag='2' class='org.w3c.tools.resources.LongAttribute'>@@NULL@@</attribute>\r
+    <attribute name='send-md5' flag='2' class='org.w3c.tools.resources.BooleanAttribute'>false</attribute>\r
+    <attribute name='allow-delete' flag='2' class='org.w3c.tools.resources.BooleanAttribute'>false</attribute>\r
+    <attribute name='putable' flag='2' class='org.w3c.tools.resources.BooleanAttribute'>false</attribute>\r
+    <attribute name='relocate' flag='2' class='org.w3c.tools.resources.BooleanAttribute'>true</attribute>\r
+    <attribute name='index' flag='2' class='org.w3c.tools.resources.StringAttribute'>Overview.html</attribute>\r
+    <array name='indexes' flag='2' class='org.w3c.tools.resources.StringArrayAttribute' length='0'>\r
+    </array>\r
+    <attribute name='icondir' flag='2' class='org.w3c.tools.resources.StringAttribute'>@@NULL@@</attribute>\r
+    <attribute name='browsable' flag='2' class='org.w3c.tools.resources.BooleanAttribute'>false</attribute>\r
+    <attribute name='style-sheet-link' flag='2' class='org.w3c.tools.resources.StringAttribute'>@@NULL@@</attribute>\r
+   </resource>\r
+  </resourcearray>\r
+  <attribute name='last-modified' flag='3' class='org.w3c.tools.resources.DateAttribute'>Mon, 28 Sep 1998 11:52:45 GMT</attribute>\r
+  <attribute name='help-url' flag='1' class='org.w3c.tools.resources.StringAttribute'>http://Jeff-PC:8001/Doc/Reference/org.w3c.jigsaw.resources.DirectoryResource.html</attribute>\r
+  <attribute name='oid' flag='1' class='org.w3c.tools.resources.IntegerAttribute'>@@NULL@@</attribute>\r
+  <attribute name='key' flag='1' class='org.w3c.tools.resources.IntegerAttribute'>3506402</attribute>\r
+  <attribute name='dirstamp' flag='1' class='org.w3c.tools.resources.DateAttribute'>Mon, 28 Sep 1998 11:52:41 GMT</attribute>\r
+  <attribute name='indexer' flag='2' class='org.w3c.tools.resources.StringAttribute'>@@NULL@@</attribute>\r
+  <attribute name='extensible' flag='2' class='org.w3c.tools.resources.BooleanAttribute'>true</attribute>\r
+  <attribute name='shrinkable' flag='2' class='org.w3c.tools.resources.BooleanAttribute'>true</attribute>\r
+  <attribute name='negotiable' flag='2' class='org.w3c.tools.resources.BooleanAttribute'>false</attribute>\r
+ </resource>\r
+ <resource class='org.w3c.tools.resources.FileResource'>\r
+  <attribute name='identifier' flag='6' class='org.w3c.tools.resources.StringAttribute'>Overview.html</attribute>\r
+  <resourcearray name='frames' class='org.w3c.tools.resources.FrameArrayAttribute' length='1'>\r
+   <resource class='org.w3c.jigsaw.frames.HTTPFrame'>\r
+    <attribute name='identifier' flag='6' class='org.w3c.tools.resources.StringAttribute'>frame-0</attribute>\r
+    <resourcearray name='frames' class='org.w3c.tools.resources.FrameArrayAttribute' length='0'>\r
+    </resourcearray>\r
+    <attribute name='last-modified' flag='3' class='org.w3c.tools.resources.DateAttribute'>Thu, 17 Jun 2010 06:20:39 GMT</attribute>\r
+    <attribute name='help-url' flag='1' class='org.w3c.tools.resources.StringAttribute'>http://Jeff-PC:8001/Doc/Reference/org.w3c.jigsaw.frames.HTTPFrame.html</attribute>\r
+    <attribute name='oid' flag='1' class='org.w3c.tools.resources.IntegerAttribute'>771055005</attribute>\r
+    <attribute name='quality' flag='2' class='org.w3c.tools.resources.DoubleAttribute'>1.0</attribute>\r
+    <attribute name='title' flag='2' class='org.w3c.tools.resources.StringAttribute'>@@NULL@@</attribute>\r
+    <attribute name='content-language' flag='2' class='org.w3c.jigsaw.frames.LanguageAttribute'>@@NULL@@</attribute>\r
+    <attribute name='content-encoding' flag='2' class='org.w3c.jigsaw.frames.EncodingAttribute'>@@NULL@@</attribute>\r
+    <attribute name='content-type' flag='2' class='org.w3c.jigsaw.frames.MimeTypeAttribute'>text/html</attribute>\r
+    <attribute name='charset' flag='2' class='org.w3c.tools.resources.StringAttribute'>@@NULL@@</attribute>\r
+    <attribute name='content-length' flag='1' class='org.w3c.tools.resources.IntegerAttribute'>3236</attribute>\r
+    <attribute name='icon' flag='2' class='org.w3c.tools.resources.StringAttribute'>text.gif</attribute>\r
+    <attribute name='maxage' flag='2' class='org.w3c.tools.resources.LongAttribute'>@@NULL@@</attribute>\r
+    <attribute name='send-md5' flag='2' class='org.w3c.tools.resources.BooleanAttribute'>false</attribute>\r
+    <attribute name='allow-delete' flag='2' class='org.w3c.tools.resources.BooleanAttribute'>false</attribute>\r
+    <attribute name='putable' flag='2' class='org.w3c.tools.resources.BooleanAttribute'>false</attribute>\r
+    <attribute name='relocate' flag='2' class='org.w3c.tools.resources.BooleanAttribute'>true</attribute>\r
+    <attribute name='index' flag='2' class='org.w3c.tools.resources.StringAttribute'>@@NULL@@</attribute>\r
+    <array name='indexes' flag='2' class='org.w3c.tools.resources.StringArrayAttribute' length='0'>\r
+    </array>\r
+    <attribute name='icondir' flag='2' class='org.w3c.tools.resources.StringAttribute'>@@NULL@@</attribute>\r
+    <attribute name='browsable' flag='2' class='org.w3c.tools.resources.BooleanAttribute'>false</attribute>\r
+    <attribute name='style-sheet-link' flag='2' class='org.w3c.tools.resources.StringAttribute'>@@NULL@@</attribute>\r
+   </resource>\r
+  </resourcearray>\r
+  <attribute name='last-modified' flag='3' class='org.w3c.tools.resources.DateAttribute'>Thu, 17 Jun 2010 06:20:39 GMT</attribute>\r
+  <attribute name='help-url' flag='1' class='org.w3c.tools.resources.StringAttribute'>http://Jeff-PC:8001/Doc/Reference/org.w3c.tools.resources.FileResource.html</attribute>\r
+  <attribute name='oid' flag='1' class='org.w3c.tools.resources.IntegerAttribute'>@@NULL@@</attribute>\r
+  <attribute name='filename' flag='2' class='org.w3c.tools.resources.FilenameAttribute'>@@NULL@@</attribute>\r
+  <attribute name='file-stamp' flag='1' class='org.w3c.tools.resources.DateAttribute'>Tue, 15 Jun 2010 08:19:44 GMT</attribute>\r
+  <attribute name='file-length' flag='1' class='org.w3c.tools.resources.IntegerAttribute'>3236</attribute>\r
+  <attribute name='backup' flag='2' class='org.w3c.tools.resources.BooleanAttribute'>false</attribute>\r
+ </resource>\r
+ <resource class='org.w3c.jigsaw.resources.DirectoryResource'>\r
+  <attribute name='identifier' flag='6' class='org.w3c.tools.resources.StringAttribute'>Doc</attribute>\r
+  <resourcearray name='frames' class='org.w3c.tools.resources.FrameArrayAttribute' length='1'>\r
+   <resource class='org.w3c.jigsaw.frames.HTTPFrame'>\r
+    <attribute name='identifier' flag='6' class='org.w3c.tools.resources.StringAttribute'>frame-0</attribute>\r
+    <resourcearray name='frames' class='org.w3c.tools.resources.FrameArrayAttribute' length='0'>\r
+    </resourcearray>\r
+    <attribute name='last-modified' flag='3' class='org.w3c.tools.resources.DateAttribute'>Tue, 27 Jul 1999 12:04:15 GMT</attribute>\r
+    <attribute name='help-url' flag='1' class='org.w3c.tools.resources.StringAttribute'>http://Jeff-PC:8001/Doc/Reference/org.w3c.jigsaw.frames.HTTPFrame.html</attribute>\r
+    <attribute name='oid' flag='1' class='org.w3c.tools.resources.IntegerAttribute'>@@NULL@@</attribute>\r
+    <attribute name='quality' flag='2' class='org.w3c.tools.resources.DoubleAttribute'>1.0</attribute>\r
+    <attribute name='title' flag='2' class='org.w3c.tools.resources.StringAttribute'>@@NULL@@</attribute>\r
+    <attribute name='content-language' flag='2' class='org.w3c.jigsaw.frames.LanguageAttribute'>@@NULL@@</attribute>\r
+    <attribute name='content-encoding' flag='2' class='org.w3c.jigsaw.frames.EncodingAttribute'>@@NULL@@</attribute>\r
+    <attribute name='content-type' flag='2' class='org.w3c.jigsaw.frames.MimeTypeAttribute'>text/plain</attribute>\r
+    <attribute name='charset' flag='2' class='org.w3c.tools.resources.StringAttribute'>@@NULL@@</attribute>\r
+    <attribute name='content-length' flag='1' class='org.w3c.tools.resources.IntegerAttribute'>@@NULL@@</attribute>\r
+    <attribute name='icon' flag='2' class='org.w3c.tools.resources.StringAttribute'>dir.gif</attribute>\r
+    <attribute name='maxage' flag='2' class='org.w3c.tools.resources.LongAttribute'>@@NULL@@</attribute>\r
+    <attribute name='send-md5' flag='2' class='org.w3c.tools.resources.BooleanAttribute'>false</attribute>\r
+    <attribute name='allow-delete' flag='2' class='org.w3c.tools.resources.BooleanAttribute'>false</attribute>\r
+    <attribute name='putable' flag='2' class='org.w3c.tools.resources.BooleanAttribute'>false</attribute>\r
+    <attribute name='relocate' flag='2' class='org.w3c.tools.resources.BooleanAttribute'>true</attribute>\r
+    <attribute name='index' flag='2' class='org.w3c.tools.resources.StringAttribute'>Overview.html</attribute>\r
+    <array name='indexes' flag='2' class='org.w3c.tools.resources.StringArrayAttribute' length='0'>\r
+    </array>\r
+    <attribute name='icondir' flag='2' class='org.w3c.tools.resources.StringAttribute'>@@NULL@@</attribute>\r
+    <attribute name='browsable' flag='2' class='org.w3c.tools.resources.BooleanAttribute'>false</attribute>\r
+    <attribute name='style-sheet-link' flag='2' class='org.w3c.tools.resources.StringAttribute'>/style/directory.css</attribute>\r
+   </resource>\r
+  </resourcearray>\r
+  <attribute name='last-modified' flag='3' class='org.w3c.tools.resources.DateAttribute'>Thu, 17 Jun 2010 06:19:35 GMT</attribute>\r
+  <attribute name='help-url' flag='1' class='org.w3c.tools.resources.StringAttribute'>http://Jeff-PC:8001/Doc/Reference/org.w3c.jigsaw.resources.DirectoryResource.html</attribute>\r
+  <attribute name='oid' flag='1' class='org.w3c.tools.resources.IntegerAttribute'>@@NULL@@</attribute>\r
+  <attribute name='key' flag='1' class='org.w3c.tools.resources.IntegerAttribute'>-1329619860</attribute>\r
+  <attribute name='dirstamp' flag='1' class='org.w3c.tools.resources.DateAttribute'>Tue, 27 Jul 1999 08:58:02 GMT</attribute>\r
+  <attribute name='indexer' flag='2' class='org.w3c.tools.resources.StringAttribute'>@@NULL@@</attribute>\r
+  <attribute name='extensible' flag='2' class='org.w3c.tools.resources.BooleanAttribute'>true</attribute>\r
+  <attribute name='shrinkable' flag='2' class='org.w3c.tools.resources.BooleanAttribute'>true</attribute>\r
+  <attribute name='negotiable' flag='2' class='org.w3c.tools.resources.BooleanAttribute'>false</attribute>\r
+ </resource>\r
+ <resource class='org.w3c.jigsaw.resources.DirectoryResource'>\r
+  <attribute name='identifier' flag='6' class='org.w3c.tools.resources.StringAttribute'>servlet</attribute>\r
+  <resourcearray name='frames' class='org.w3c.tools.resources.FrameArrayAttribute' length='1'>\r
+   <resource class='org.w3c.jigsaw.servlet.ServletDirectoryFrame'>\r
+    <attribute name='identifier' flag='6' class='org.w3c.tools.resources.StringAttribute'>frame-0</attribute>\r
+    <resourcearray name='frames' class='org.w3c.tools.resources.FrameArrayAttribute' length='0'>\r
+    </resourcearray>\r
+    <attribute name='last-modified' flag='3' class='org.w3c.tools.resources.DateAttribute'>Wed, 31 Mar 1999 15:10:37 GMT</attribute>\r
+    <attribute name='help-url' flag='1' class='org.w3c.tools.resources.StringAttribute'>@@NULL@@</attribute>\r
+    <attribute name='oid' flag='1' class='org.w3c.tools.resources.IntegerAttribute'>@@NULL@@</attribute>\r
+    <attribute name='quality' flag='2' class='org.w3c.tools.resources.DoubleAttribute'>1.0</attribute>\r
+    <attribute name='title' flag='2' class='org.w3c.tools.resources.StringAttribute'>Servlet Directory</attribute>\r
+    <attribute name='content-language' flag='2' class='org.w3c.jigsaw.frames.LanguageAttribute'>@@NULL@@</attribute>\r
+    <attribute name='content-encoding' flag='2' class='org.w3c.jigsaw.frames.EncodingAttribute'>@@NULL@@</attribute>\r
+    <attribute name='content-type' flag='2' class='org.w3c.jigsaw.frames.MimeTypeAttribute'>text/html</attribute>\r
+    <attribute name='charset' flag='2' class='org.w3c.tools.resources.StringAttribute'>@@NULL@@</attribute>\r
+    <attribute name='content-length' flag='1' class='org.w3c.tools.resources.IntegerAttribute'>@@NULL@@</attribute>\r
+    <attribute name='icon' flag='2' class='org.w3c.tools.resources.StringAttribute'>dir.gif</attribute>\r
+    <attribute name='maxage' flag='2' class='org.w3c.tools.resources.LongAttribute'>@@NULL@@</attribute>\r
+    <attribute name='send-md5' flag='2' class='org.w3c.tools.resources.BooleanAttribute'>false</attribute>\r
+    <attribute name='allow-delete' flag='2' class='org.w3c.tools.resources.BooleanAttribute'>false</attribute>\r
+    <attribute name='putable' flag='2' class='org.w3c.tools.resources.BooleanAttribute'>false</attribute>\r
+    <attribute name='relocate' flag='2' class='org.w3c.tools.resources.BooleanAttribute'>true</attribute>\r
+    <attribute name='index' flag='2' class='org.w3c.tools.resources.StringAttribute'>@@NULL@@</attribute>\r
+    <array name='indexes' flag='2' class='org.w3c.tools.resources.StringArrayAttribute' length='0'>\r
+    </array>\r
+    <attribute name='icondir' flag='2' class='org.w3c.tools.resources.StringAttribute'>@@NULL@@</attribute>\r
+    <attribute name='browsable' flag='2' class='org.w3c.tools.resources.BooleanAttribute'>false</attribute>\r
+    <attribute name='style-sheet-link' flag='2' class='org.w3c.tools.resources.StringAttribute'>/style/directory.css</attribute>\r
+   </resource>\r
+  </resourcearray>\r
+  <attribute name='last-modified' flag='3' class='org.w3c.tools.resources.DateAttribute'>Wed, 31 Mar 1999 15:10:37 GMT</attribute>\r
+  <attribute name='help-url' flag='1' class='org.w3c.tools.resources.StringAttribute'>@@NULL@@</attribute>\r
+  <attribute name='oid' flag='1' class='org.w3c.tools.resources.IntegerAttribute'>@@NULL@@</attribute>\r
+  <attribute name='key' flag='1' class='org.w3c.tools.resources.IntegerAttribute'>-1777994148</attribute>\r
+  <attribute name='dirstamp' flag='1' class='org.w3c.tools.resources.DateAttribute'>Wed, 31 Mar 1999 12:29:24 GMT</attribute>\r
+  <attribute name='indexer' flag='2' class='org.w3c.tools.resources.StringAttribute'>servlet-indexer</attribute>\r
+  <attribute name='extensible' flag='2' class='org.w3c.tools.resources.BooleanAttribute'>true</attribute>\r
+  <attribute name='shrinkable' flag='2' class='org.w3c.tools.resources.BooleanAttribute'>true</attribute>\r
+  <attribute name='negotiable' flag='2' class='org.w3c.tools.resources.BooleanAttribute'>false</attribute>\r
+ </resource>\r
+ <resource class='org.w3c.jigsaw.resources.DirectoryResource'>\r
+  <attribute name='identifier' flag='6' class='org.w3c.tools.resources.StringAttribute'>icons</attribute>\r
+  <resourcearray name='frames' class='org.w3c.tools.resources.FrameArrayAttribute' length='1'>\r
+   <resource class='org.w3c.jigsaw.frames.HTTPFrame'>\r
+    <attribute name='identifier' flag='6' class='org.w3c.tools.resources.StringAttribute'>frame-0</attribute>\r
+    <resourcearray name='frames' class='org.w3c.tools.resources.FrameArrayAttribute' length='0'>\r
+    </resourcearray>\r
+    <attribute name='last-modified' flag='3' class='org.w3c.tools.resources.DateAttribute'>Tue, 27 Jul 1999 12:30:14 GMT</attribute>\r
+    <attribute name='help-url' flag='1' class='org.w3c.tools.resources.StringAttribute'>@@NULL@@</attribute>\r
+    <attribute name='oid' flag='1' class='org.w3c.tools.resources.IntegerAttribute'>@@NULL@@</attribute>\r
+    <attribute name='quality' flag='2' class='org.w3c.tools.resources.DoubleAttribute'>1.0</attribute>\r
+    <attribute name='title' flag='2' class='org.w3c.tools.resources.StringAttribute'>@@NULL@@</attribute>\r
+    <attribute name='content-language' flag='2' class='org.w3c.jigsaw.frames.LanguageAttribute'>@@NULL@@</attribute>\r
+    <attribute name='content-encoding' flag='2' class='org.w3c.jigsaw.frames.EncodingAttribute'>@@NULL@@</attribute>\r
+    <attribute name='content-type' flag='2' class='org.w3c.jigsaw.frames.MimeTypeAttribute'>text/plain</attribute>\r
+    <attribute name='charset' flag='2' class='org.w3c.tools.resources.StringAttribute'>@@NULL@@</attribute>\r
+    <attribute name='content-length' flag='1' class='org.w3c.tools.resources.IntegerAttribute'>@@NULL@@</attribute>\r
+    <attribute name='icon' flag='2' class='org.w3c.tools.resources.StringAttribute'>dir.gif</attribute>\r
+    <attribute name='maxage' flag='2' class='org.w3c.tools.resources.LongAttribute'>@@NULL@@</attribute>\r
+    <attribute name='send-md5' flag='2' class='org.w3c.tools.resources.BooleanAttribute'>false</attribute>\r
+    <attribute name='allow-delete' flag='2' class='org.w3c.tools.resources.BooleanAttribute'>false</attribute>\r
+    <attribute name='putable' flag='2' class='org.w3c.tools.resources.BooleanAttribute'>false</attribute>\r
+    <attribute name='relocate' flag='2' class='org.w3c.tools.resources.BooleanAttribute'>true</attribute>\r
+    <attribute name='index' flag='2' class='org.w3c.tools.resources.StringAttribute'>@@NULL@@</attribute>\r
+    <array name='indexes' flag='2' class='org.w3c.tools.resources.StringArrayAttribute' length='0'>\r
+    </array>\r
+    <attribute name='icondir' flag='2' class='org.w3c.tools.resources.StringAttribute'>@@NULL@@</attribute>\r
+    <attribute name='browsable' flag='2' class='org.w3c.tools.resources.BooleanAttribute'>false</attribute>\r
+    <attribute name='style-sheet-link' flag='2' class='org.w3c.tools.resources.StringAttribute'>/style/directory.css</attribute>\r
+   </resource>\r
+  </resourcearray>\r
+  <attribute name='last-modified' flag='3' class='org.w3c.tools.resources.DateAttribute'>Tue, 27 Jul 1999 12:31:32 GMT</attribute>\r
+  <attribute name='help-url' flag='1' class='org.w3c.tools.resources.StringAttribute'>@@NULL@@</attribute>\r
+  <attribute name='oid' flag='1' class='org.w3c.tools.resources.IntegerAttribute'>@@NULL@@</attribute>\r
+  <attribute name='key' flag='1' class='org.w3c.tools.resources.IntegerAttribute'>259322523</attribute>\r
+  <attribute name='dirstamp' flag='1' class='org.w3c.tools.resources.DateAttribute'>Tue, 27 Jul 1999 09:26:26 GMT</attribute>\r
+  <attribute name='indexer' flag='2' class='org.w3c.tools.resources.StringAttribute'>icons</attribute>\r
+  <attribute name='extensible' flag='2' class='org.w3c.tools.resources.BooleanAttribute'>true</attribute>\r
+  <attribute name='shrinkable' flag='2' class='org.w3c.tools.resources.BooleanAttribute'>true</attribute>\r
+  <attribute name='negotiable' flag='2' class='org.w3c.tools.resources.BooleanAttribute'>true</attribute>\r
+ </resource>\r
+</jigxml>\r