Adding JMCR-Stable version

[Benchmarks_CSolver.git] / JMCR-Stable / real-world application / jigsaw / config / stores / 14 / st-14

diff --git a/JMCR-Stable/real-world application/jigsaw/config/stores/14/st-14 b/JMCR-Stable/real-world application/jigsaw/config/stores/14/st-14
new file mode 100644 (file)
index 0000000..216fde9
--- /dev/null
+++ b/JMCR-Stable/real-world application/jigsaw/config/stores/14/st-14
@@ -0,0 +1,579 @@
+<?xml version='1.0' encoding='UTF-8'?>
+<jxml version="1.0" xmlns="http://jigsaw.w3.org/JXML/jxml1.0">
+ <resource class='org.w3c.tools.resources.FileResource'>
+  <attribute name='identifier' flag='6' class='org.w3c.tools.resources.StringAttribute'>indexers.html</attribute>
+  <resourcearray name='frames' class='org.w3c.tools.resources.FrameArrayAttribute' length='1'>
+   <resource class='org.w3c.jigsaw.frames.HTTPFrame'>
+    <attribute name='identifier' flag='6' class='org.w3c.tools.resources.StringAttribute'>frame-0</attribute>
+    <resourcearray name='frames' class='org.w3c.tools.resources.FrameArrayAttribute' length='0'>
+    </resourcearray>
+    <attribute name='last-modified' flag='3' class='org.w3c.tools.resources.DateAttribute'>Wed, 08 Apr 1998 08:31:57 GMT</attribute>
+    <attribute name='help-url' flag='1' class='org.w3c.tools.resources.StringAttribute'>@@NULL@@</attribute>
+    <attribute name='oid' flag='1' class='org.w3c.tools.resources.IntegerAttribute'>1264060944</attribute>
+    <attribute name='quality' flag='2' class='org.w3c.tools.resources.DoubleAttribute'>1.0</attribute>
+    <attribute name='title' flag='2' class='org.w3c.tools.resources.StringAttribute'>@@NULL@@</attribute>
+    <attribute name='content-language' flag='2' class='org.w3c.jigsaw.frames.LanguageAttribute'>@@NULL@@</attribute>
+    <attribute name='content-encoding' flag='2' class='org.w3c.jigsaw.frames.EncodingAttribute'>@@NULL@@</attribute>
+    <attribute name='content-type' flag='2' class='org.w3c.jigsaw.frames.MimeTypeAttribute'>text/html</attribute>
+    <attribute name='content-length' flag='1' class='org.w3c.tools.resources.IntegerAttribute'>@@NULL@@</attribute>
+    <attribute name='icon' flag='2' class='org.w3c.tools.resources.StringAttribute'>text.gif</attribute>
+    <attribute name='maxage' flag='2' class='org.w3c.tools.resources.LongAttribute'>@@NULL@@</attribute>
+    <attribute name='send-md5' flag='2' class='org.w3c.tools.resources.BooleanAttribute'>false</attribute>
+    <attribute name='allow-delete' flag='2' class='org.w3c.tools.resources.BooleanAttribute'>false</attribute>
+    <attribute name='putable' flag='2' class='org.w3c.tools.resources.BooleanAttribute'>false</attribute>
+    <attribute name='relocate' flag='2' class='org.w3c.tools.resources.BooleanAttribute'>true</attribute>
+    <attribute name='index' flag='2' class='org.w3c.tools.resources.StringAttribute'>@@NULL@@</attribute>
+    <attribute name='icondir' flag='2' class='org.w3c.tools.resources.StringAttribute'>@@NULL@@</attribute>
+    <attribute name='browsable' flag='2' class='org.w3c.tools.resources.BooleanAttribute'>false</attribute>
+    <attribute name='style-sheet-link' flag='2' class='org.w3c.tools.resources.StringAttribute'>@@NULL@@</attribute>
+   </resource>
+  </resourcearray>
+  <attribute name='last-modified' flag='3' class='org.w3c.tools.resources.DateAttribute'>Wed, 08 Apr 1998 08:31:57 GMT</attribute>
+  <attribute name='help-url' flag='1' class='org.w3c.tools.resources.StringAttribute'>@@NULL@@</attribute>
+  <attribute name='oid' flag='1' class='org.w3c.tools.resources.IntegerAttribute'>@@NULL@@</attribute>
+  <attribute name='filename' flag='2' class='org.w3c.tools.resources.FilenameAttribute'>@@NULL@@</attribute>
+  <attribute name='file-stamp' flag='1' class='org.w3c.tools.resources.DateAttribute'>Mon, 02 Mar 1998 15:28:54 GMT</attribute>
+  <attribute name='file-length' flag='1' class='org.w3c.tools.resources.IntegerAttribute'>6729</attribute>
+  <attribute name='backup' flag='2' class='org.w3c.tools.resources.BooleanAttribute'>false</attribute>
+ </resource>
+ <resource class='org.w3c.tools.resources.FileResource'>
+  <attribute name='identifier' flag='6' class='org.w3c.tools.resources.StringAttribute'>attributes.html</attribute>
+  <resourcearray name='frames' class='org.w3c.tools.resources.FrameArrayAttribute' length='1'>
+   <resource class='org.w3c.jigsaw.frames.HTTPFrame'>
+    <attribute name='identifier' flag='6' class='org.w3c.tools.resources.StringAttribute'>frame-0</attribute>
+    <resourcearray name='frames' class='org.w3c.tools.resources.FrameArrayAttribute' length='0'>
+    </resourcearray>
+    <attribute name='last-modified' flag='3' class='org.w3c.tools.resources.DateAttribute'>Wed, 08 Apr 1998 08:31:45 GMT</attribute>
+    <attribute name='help-url' flag='1' class='org.w3c.tools.resources.StringAttribute'>@@NULL@@</attribute>
+    <attribute name='oid' flag='1' class='org.w3c.tools.resources.IntegerAttribute'>2129455837</attribute>
+    <attribute name='quality' flag='2' class='org.w3c.tools.resources.DoubleAttribute'>1.0</attribute>
+    <attribute name='title' flag='2' class='org.w3c.tools.resources.StringAttribute'>@@NULL@@</attribute>
+    <attribute name='content-language' flag='2' class='org.w3c.jigsaw.frames.LanguageAttribute'>@@NULL@@</attribute>
+    <attribute name='content-encoding' flag='2' class='org.w3c.jigsaw.frames.EncodingAttribute'>@@NULL@@</attribute>
+    <attribute name='content-type' flag='2' class='org.w3c.jigsaw.frames.MimeTypeAttribute'>text/html</attribute>
+    <attribute name='content-length' flag='1' class='org.w3c.tools.resources.IntegerAttribute'>@@NULL@@</attribute>
+    <attribute name='icon' flag='2' class='org.w3c.tools.resources.StringAttribute'>text.gif</attribute>
+    <attribute name='maxage' flag='2' class='org.w3c.tools.resources.LongAttribute'>@@NULL@@</attribute>
+    <attribute name='send-md5' flag='2' class='org.w3c.tools.resources.BooleanAttribute'>false</attribute>
+    <attribute name='allow-delete' flag='2' class='org.w3c.tools.resources.BooleanAttribute'>false</attribute>
+    <attribute name='putable' flag='2' class='org.w3c.tools.resources.BooleanAttribute'>false</attribute>
+    <attribute name='relocate' flag='2' class='org.w3c.tools.resources.BooleanAttribute'>true</attribute>
+    <attribute name='index' flag='2' class='org.w3c.tools.resources.StringAttribute'>@@NULL@@</attribute>
+    <attribute name='icondir' flag='2' class='org.w3c.tools.resources.StringAttribute'>@@NULL@@</attribute>
+    <attribute name='browsable' flag='2' class='org.w3c.tools.resources.BooleanAttribute'>false</attribute>
+    <attribute name='style-sheet-link' flag='2' class='org.w3c.tools.resources.StringAttribute'>@@NULL@@</attribute>
+   </resource>
+  </resourcearray>
+  <attribute name='last-modified' flag='3' class='org.w3c.tools.resources.DateAttribute'>Wed, 08 Apr 1998 08:31:45 GMT</attribute>
+  <attribute name='help-url' flag='1' class='org.w3c.tools.resources.StringAttribute'>@@NULL@@</attribute>
+  <attribute name='oid' flag='1' class='org.w3c.tools.resources.IntegerAttribute'>@@NULL@@</attribute>
+  <attribute name='filename' flag='2' class='org.w3c.tools.resources.FilenameAttribute'>@@NULL@@</attribute>
+  <attribute name='file-stamp' flag='1' class='org.w3c.tools.resources.DateAttribute'>Tue, 07 Apr 1998 08:43:39 GMT</attribute>
+  <attribute name='file-length' flag='1' class='org.w3c.tools.resources.IntegerAttribute'>2353</attribute>
+  <attribute name='backup' flag='2' class='org.w3c.tools.resources.BooleanAttribute'>false</attribute>
+ </resource>
+ <resource class='org.w3c.tools.resources.FileResource'>
+  <attribute name='identifier' flag='6' class='org.w3c.tools.resources.StringAttribute'>configuration.html</attribute>
+  <resourcearray name='frames' class='org.w3c.tools.resources.FrameArrayAttribute' length='1'>
+   <resource class='org.w3c.jigsaw.frames.HTTPFrame'>
+    <attribute name='identifier' flag='6' class='org.w3c.tools.resources.StringAttribute'>frame-0</attribute>
+    <resourcearray name='frames' class='org.w3c.tools.resources.FrameArrayAttribute' length='0'>
+    </resourcearray>
+    <attribute name='last-modified' flag='3' class='org.w3c.tools.resources.DateAttribute'>Wed, 08 Apr 1998 08:31:31 GMT</attribute>
+    <attribute name='help-url' flag='1' class='org.w3c.tools.resources.StringAttribute'>@@NULL@@</attribute>
+    <attribute name='oid' flag='1' class='org.w3c.tools.resources.IntegerAttribute'>1696711365</attribute>
+    <attribute name='quality' flag='2' class='org.w3c.tools.resources.DoubleAttribute'>1.0</attribute>
+    <attribute name='title' flag='2' class='org.w3c.tools.resources.StringAttribute'>@@NULL@@</attribute>
+    <attribute name='content-language' flag='2' class='org.w3c.jigsaw.frames.LanguageAttribute'>@@NULL@@</attribute>
+    <attribute name='content-encoding' flag='2' class='org.w3c.jigsaw.frames.EncodingAttribute'>@@NULL@@</attribute>
+    <attribute name='content-type' flag='2' class='org.w3c.jigsaw.frames.MimeTypeAttribute'>text/html</attribute>
+    <attribute name='content-length' flag='1' class='org.w3c.tools.resources.IntegerAttribute'>@@NULL@@</attribute>
+    <attribute name='icon' flag='2' class='org.w3c.tools.resources.StringAttribute'>text.gif</attribute>
+    <attribute name='maxage' flag='2' class='org.w3c.tools.resources.LongAttribute'>@@NULL@@</attribute>
+    <attribute name='send-md5' flag='2' class='org.w3c.tools.resources.BooleanAttribute'>false</attribute>
+    <attribute name='allow-delete' flag='2' class='org.w3c.tools.resources.BooleanAttribute'>false</attribute>
+    <attribute name='putable' flag='2' class='org.w3c.tools.resources.BooleanAttribute'>false</attribute>
+    <attribute name='relocate' flag='2' class='org.w3c.tools.resources.BooleanAttribute'>true</attribute>
+    <attribute name='index' flag='2' class='org.w3c.tools.resources.StringAttribute'>@@NULL@@</attribute>
+    <attribute name='icondir' flag='2' class='org.w3c.tools.resources.StringAttribute'>@@NULL@@</attribute>
+    <attribute name='browsable' flag='2' class='org.w3c.tools.resources.BooleanAttribute'>false</attribute>
+    <attribute name='style-sheet-link' flag='2' class='org.w3c.tools.resources.StringAttribute'>@@NULL@@</attribute>
+   </resource>
+  </resourcearray>
+  <attribute name='last-modified' flag='3' class='org.w3c.tools.resources.DateAttribute'>Wed, 08 Apr 1998 08:31:31 GMT</attribute>
+  <attribute name='help-url' flag='1' class='org.w3c.tools.resources.StringAttribute'>@@NULL@@</attribute>
+  <attribute name='oid' flag='1' class='org.w3c.tools.resources.IntegerAttribute'>@@NULL@@</attribute>
+  <attribute name='filename' flag='2' class='org.w3c.tools.resources.FilenameAttribute'>@@NULL@@</attribute>
+  <attribute name='file-stamp' flag='1' class='org.w3c.tools.resources.DateAttribute'>Thu, 26 Mar 1998 08:53:37 GMT</attribute>
+  <attribute name='file-length' flag='1' class='org.w3c.tools.resources.IntegerAttribute'>6065</attribute>
+  <attribute name='backup' flag='2' class='org.w3c.tools.resources.BooleanAttribute'>false</attribute>
+ </resource>
+ <resource class='org.w3c.tools.resources.FileResource'>
+  <attribute name='identifier' flag='6' class='org.w3c.tools.resources.StringAttribute'>jigadm1.gif</attribute>
+  <resourcearray name='frames' class='org.w3c.tools.resources.FrameArrayAttribute' length='1'>
+   <resource class='org.w3c.jigsaw.frames.HTTPFrame'>
+    <attribute name='identifier' flag='6' class='org.w3c.tools.resources.StringAttribute'>frame-0</attribute>
+    <resourcearray name='frames' class='org.w3c.tools.resources.FrameArrayAttribute' length='0'>
+    </resourcearray>
+    <attribute name='last-modified' flag='3' class='org.w3c.tools.resources.DateAttribute'>Wed, 08 Apr 1998 08:31:38 GMT</attribute>
+    <attribute name='help-url' flag='1' class='org.w3c.tools.resources.StringAttribute'>@@NULL@@</attribute>
+    <attribute name='oid' flag='1' class='org.w3c.tools.resources.IntegerAttribute'>333635955</attribute>
+    <attribute name='quality' flag='2' class='org.w3c.tools.resources.DoubleAttribute'>0.8</attribute>
+    <attribute name='title' flag='2' class='org.w3c.tools.resources.StringAttribute'>@@NULL@@</attribute>
+    <attribute name='content-language' flag='2' class='org.w3c.jigsaw.frames.LanguageAttribute'>@@NULL@@</attribute>
+    <attribute name='content-encoding' flag='2' class='org.w3c.jigsaw.frames.EncodingAttribute'>@@NULL@@</attribute>
+    <attribute name='content-type' flag='2' class='org.w3c.jigsaw.frames.MimeTypeAttribute'>image/gif</attribute>
+    <attribute name='content-length' flag='1' class='org.w3c.tools.resources.IntegerAttribute'>@@NULL@@</attribute>
+    <attribute name='icon' flag='2' class='org.w3c.tools.resources.StringAttribute'>image.gif</attribute>
+    <attribute name='maxage' flag='2' class='org.w3c.tools.resources.LongAttribute'>518400000</attribute>
+    <attribute name='send-md5' flag='2' class='org.w3c.tools.resources.BooleanAttribute'>false</attribute>
+    <attribute name='allow-delete' flag='2' class='org.w3c.tools.resources.BooleanAttribute'>false</attribute>
+    <attribute name='putable' flag='2' class='org.w3c.tools.resources.BooleanAttribute'>false</attribute>
+    <attribute name='relocate' flag='2' class='org.w3c.tools.resources.BooleanAttribute'>true</attribute>
+    <attribute name='index' flag='2' class='org.w3c.tools.resources.StringAttribute'>@@NULL@@</attribute>
+    <attribute name='icondir' flag='2' class='org.w3c.tools.resources.StringAttribute'>@@NULL@@</attribute>
+    <attribute name='browsable' flag='2' class='org.w3c.tools.resources.BooleanAttribute'>false</attribute>
+    <attribute name='style-sheet-link' flag='2' class='org.w3c.tools.resources.StringAttribute'>@@NULL@@</attribute>
+   </resource>
+  </resourcearray>
+  <attribute name='last-modified' flag='3' class='org.w3c.tools.resources.DateAttribute'>Wed, 08 Apr 1998 08:31:38 GMT</attribute>
+  <attribute name='help-url' flag='1' class='org.w3c.tools.resources.StringAttribute'>@@NULL@@</attribute>
+  <attribute name='oid' flag='1' class='org.w3c.tools.resources.IntegerAttribute'>@@NULL@@</attribute>
+  <attribute name='filename' flag='2' class='org.w3c.tools.resources.FilenameAttribute'>@@NULL@@</attribute>
+  <attribute name='file-stamp' flag='1' class='org.w3c.tools.resources.DateAttribute'>Thu, 22 Jan 1998 13:40:09 GMT</attribute>
+  <attribute name='file-length' flag='1' class='org.w3c.tools.resources.IntegerAttribute'>524</attribute>
+  <attribute name='backup' flag='2' class='org.w3c.tools.resources.BooleanAttribute'>false</attribute>
+ </resource>
+ <resource class='org.w3c.tools.resources.FileResource'>
+  <attribute name='identifier' flag='6' class='org.w3c.tools.resources.StringAttribute'>AdminTools.html</attribute>
+  <resourcearray name='frames' class='org.w3c.tools.resources.FrameArrayAttribute' length='1'>
+   <resource class='org.w3c.jigsaw.frames.HTTPFrame'>
+    <attribute name='identifier' flag='6' class='org.w3c.tools.resources.StringAttribute'>frame-0</attribute>
+    <resourcearray name='frames' class='org.w3c.tools.resources.FrameArrayAttribute' length='0'>
+    </resourcearray>
+    <attribute name='last-modified' flag='3' class='org.w3c.tools.resources.DateAttribute'>Wed, 08 Apr 1998 08:31:37 GMT</attribute>
+    <attribute name='help-url' flag='1' class='org.w3c.tools.resources.StringAttribute'>@@NULL@@</attribute>
+    <attribute name='oid' flag='1' class='org.w3c.tools.resources.IntegerAttribute'>2117834032</attribute>
+    <attribute name='quality' flag='2' class='org.w3c.tools.resources.DoubleAttribute'>1.0</attribute>
+    <attribute name='title' flag='2' class='org.w3c.tools.resources.StringAttribute'>@@NULL@@</attribute>
+    <attribute name='content-language' flag='2' class='org.w3c.jigsaw.frames.LanguageAttribute'>@@NULL@@</attribute>
+    <attribute name='content-encoding' flag='2' class='org.w3c.jigsaw.frames.EncodingAttribute'>@@NULL@@</attribute>
+    <attribute name='content-type' flag='2' class='org.w3c.jigsaw.frames.MimeTypeAttribute'>text/html</attribute>
+    <attribute name='content-length' flag='1' class='org.w3c.tools.resources.IntegerAttribute'>@@NULL@@</attribute>
+    <attribute name='icon' flag='2' class='org.w3c.tools.resources.StringAttribute'>text.gif</attribute>
+    <attribute name='maxage' flag='2' class='org.w3c.tools.resources.LongAttribute'>@@NULL@@</attribute>
+    <attribute name='send-md5' flag='2' class='org.w3c.tools.resources.BooleanAttribute'>false</attribute>
+    <attribute name='allow-delete' flag='2' class='org.w3c.tools.resources.BooleanAttribute'>false</attribute>
+    <attribute name='putable' flag='2' class='org.w3c.tools.resources.BooleanAttribute'>false</attribute>
+    <attribute name='relocate' flag='2' class='org.w3c.tools.resources.BooleanAttribute'>true</attribute>
+    <attribute name='index' flag='2' class='org.w3c.tools.resources.StringAttribute'>@@NULL@@</attribute>
+    <attribute name='icondir' flag='2' class='org.w3c.tools.resources.StringAttribute'>@@NULL@@</attribute>
+    <attribute name='browsable' flag='2' class='org.w3c.tools.resources.BooleanAttribute'>false</attribute>
+    <attribute name='style-sheet-link' flag='2' class='org.w3c.tools.resources.StringAttribute'>@@NULL@@</attribute>
+   </resource>
+  </resourcearray>
+  <attribute name='last-modified' flag='3' class='org.w3c.tools.resources.DateAttribute'>Wed, 08 Apr 1998 08:31:37 GMT</attribute>
+  <attribute name='help-url' flag='1' class='org.w3c.tools.resources.StringAttribute'>@@NULL@@</attribute>
+  <attribute name='oid' flag='1' class='org.w3c.tools.resources.IntegerAttribute'>@@NULL@@</attribute>
+  <attribute name='filename' flag='2' class='org.w3c.tools.resources.FilenameAttribute'>@@NULL@@</attribute>
+  <attribute name='file-stamp' flag='1' class='org.w3c.tools.resources.DateAttribute'>Tue, 27 Jan 1998 16:16:54 GMT</attribute>
+  <attribute name='file-length' flag='1' class='org.w3c.tools.resources.IntegerAttribute'>5636</attribute>
+  <attribute name='backup' flag='2' class='org.w3c.tools.resources.BooleanAttribute'>false</attribute>
+ </resource>
+ <resource class='org.w3c.tools.resources.FileResource'>
+  <attribute name='identifier' flag='6' class='org.w3c.tools.resources.StringAttribute'>resource.html</attribute>
+  <resourcearray name='frames' class='org.w3c.tools.resources.FrameArrayAttribute' length='1'>
+   <resource class='org.w3c.jigsaw.frames.HTTPFrame'>
+    <attribute name='identifier' flag='6' class='org.w3c.tools.resources.StringAttribute'>frame-0</attribute>
+    <resourcearray name='frames' class='org.w3c.tools.resources.FrameArrayAttribute' length='0'>
+    </resourcearray>
+    <attribute name='last-modified' flag='3' class='org.w3c.tools.resources.DateAttribute'>Wed, 08 Apr 1998 08:31:52 GMT</attribute>
+    <attribute name='help-url' flag='1' class='org.w3c.tools.resources.StringAttribute'>@@NULL@@</attribute>
+    <attribute name='oid' flag='1' class='org.w3c.tools.resources.IntegerAttribute'>581501558</attribute>
+    <attribute name='quality' flag='2' class='org.w3c.tools.resources.DoubleAttribute'>1.0</attribute>
+    <attribute name='title' flag='2' class='org.w3c.tools.resources.StringAttribute'>@@NULL@@</attribute>
+    <attribute name='content-language' flag='2' class='org.w3c.jigsaw.frames.LanguageAttribute'>@@NULL@@</attribute>
+    <attribute name='content-encoding' flag='2' class='org.w3c.jigsaw.frames.EncodingAttribute'>@@NULL@@</attribute>
+    <attribute name='content-type' flag='2' class='org.w3c.jigsaw.frames.MimeTypeAttribute'>text/html</attribute>
+    <attribute name='content-length' flag='1' class='org.w3c.tools.resources.IntegerAttribute'>@@NULL@@</attribute>
+    <attribute name='icon' flag='2' class='org.w3c.tools.resources.StringAttribute'>text.gif</attribute>
+    <attribute name='maxage' flag='2' class='org.w3c.tools.resources.LongAttribute'>@@NULL@@</attribute>
+    <attribute name='send-md5' flag='2' class='org.w3c.tools.resources.BooleanAttribute'>false</attribute>
+    <attribute name='allow-delete' flag='2' class='org.w3c.tools.resources.BooleanAttribute'>false</attribute>
+    <attribute name='putable' flag='2' class='org.w3c.tools.resources.BooleanAttribute'>false</attribute>
+    <attribute name='relocate' flag='2' class='org.w3c.tools.resources.BooleanAttribute'>true</attribute>
+    <attribute name='index' flag='2' class='org.w3c.tools.resources.StringAttribute'>@@NULL@@</attribute>
+    <attribute name='icondir' flag='2' class='org.w3c.tools.resources.StringAttribute'>@@NULL@@</attribute>
+    <attribute name='browsable' flag='2' class='org.w3c.tools.resources.BooleanAttribute'>false</attribute>
+    <attribute name='style-sheet-link' flag='2' class='org.w3c.tools.resources.StringAttribute'>@@NULL@@</attribute>
+   </resource>
+  </resourcearray>
+  <attribute name='last-modified' flag='3' class='org.w3c.tools.resources.DateAttribute'>Wed, 08 Apr 1998 08:31:52 GMT</attribute>
+  <attribute name='help-url' flag='1' class='org.w3c.tools.resources.StringAttribute'>@@NULL@@</attribute>
+  <attribute name='oid' flag='1' class='org.w3c.tools.resources.IntegerAttribute'>@@NULL@@</attribute>
+  <attribute name='filename' flag='2' class='org.w3c.tools.resources.FilenameAttribute'>@@NULL@@</attribute>
+  <attribute name='file-stamp' flag='1' class='org.w3c.tools.resources.DateAttribute'>Fri, 03 Apr 1998 08:48:00 GMT</attribute>
+  <attribute name='file-length' flag='1' class='org.w3c.tools.resources.IntegerAttribute'>5844</attribute>
+  <attribute name='backup' flag='2' class='org.w3c.tools.resources.BooleanAttribute'>false</attribute>
+ </resource>
+ <resource class='org.w3c.tools.resources.FileResource'>
+  <attribute name='identifier' flag='6' class='org.w3c.tools.resources.StringAttribute'>jigadm4.gif</attribute>
+  <resourcearray name='frames' class='org.w3c.tools.resources.FrameArrayAttribute' length='1'>
+   <resource class='org.w3c.jigsaw.frames.HTTPFrame'>
+    <attribute name='identifier' flag='6' class='org.w3c.tools.resources.StringAttribute'>frame-0</attribute>
+    <resourcearray name='frames' class='org.w3c.tools.resources.FrameArrayAttribute' length='0'>
+    </resourcearray>
+    <attribute name='last-modified' flag='3' class='org.w3c.tools.resources.DateAttribute'>Wed, 08 Apr 1998 08:31:38 GMT</attribute>
+    <attribute name='help-url' flag='1' class='org.w3c.tools.resources.StringAttribute'>@@NULL@@</attribute>
+    <attribute name='oid' flag='1' class='org.w3c.tools.resources.IntegerAttribute'>1376055497</attribute>
+    <attribute name='quality' flag='2' class='org.w3c.tools.resources.DoubleAttribute'>0.8</attribute>
+    <attribute name='title' flag='2' class='org.w3c.tools.resources.StringAttribute'>@@NULL@@</attribute>
+    <attribute name='content-language' flag='2' class='org.w3c.jigsaw.frames.LanguageAttribute'>@@NULL@@</attribute>
+    <attribute name='content-encoding' flag='2' class='org.w3c.jigsaw.frames.EncodingAttribute'>@@NULL@@</attribute>
+    <attribute name='content-type' flag='2' class='org.w3c.jigsaw.frames.MimeTypeAttribute'>image/gif</attribute>
+    <attribute name='content-length' flag='1' class='org.w3c.tools.resources.IntegerAttribute'>@@NULL@@</attribute>
+    <attribute name='icon' flag='2' class='org.w3c.tools.resources.StringAttribute'>image.gif</attribute>
+    <attribute name='maxage' flag='2' class='org.w3c.tools.resources.LongAttribute'>518400000</attribute>
+    <attribute name='send-md5' flag='2' class='org.w3c.tools.resources.BooleanAttribute'>false</attribute>
+    <attribute name='allow-delete' flag='2' class='org.w3c.tools.resources.BooleanAttribute'>false</attribute>
+    <attribute name='putable' flag='2' class='org.w3c.tools.resources.BooleanAttribute'>false</attribute>
+    <attribute name='relocate' flag='2' class='org.w3c.tools.resources.BooleanAttribute'>true</attribute>
+    <attribute name='index' flag='2' class='org.w3c.tools.resources.StringAttribute'>@@NULL@@</attribute>
+    <attribute name='icondir' flag='2' class='org.w3c.tools.resources.StringAttribute'>@@NULL@@</attribute>
+    <attribute name='browsable' flag='2' class='org.w3c.tools.resources.BooleanAttribute'>false</attribute>
+    <attribute name='style-sheet-link' flag='2' class='org.w3c.tools.resources.StringAttribute'>@@NULL@@</attribute>
+   </resource>
+  </resourcearray>
+  <attribute name='last-modified' flag='3' class='org.w3c.tools.resources.DateAttribute'>Wed, 08 Apr 1998 08:31:38 GMT</attribute>
+  <attribute name='help-url' flag='1' class='org.w3c.tools.resources.StringAttribute'>@@NULL@@</attribute>
+  <attribute name='oid' flag='1' class='org.w3c.tools.resources.IntegerAttribute'>@@NULL@@</attribute>
+  <attribute name='filename' flag='2' class='org.w3c.tools.resources.FilenameAttribute'>@@NULL@@</attribute>
+  <attribute name='file-stamp' flag='1' class='org.w3c.tools.resources.DateAttribute'>Thu, 22 Jan 1998 13:40:03 GMT</attribute>
+  <attribute name='file-length' flag='1' class='org.w3c.tools.resources.IntegerAttribute'>1785</attribute>
+  <attribute name='backup' flag='2' class='org.w3c.tools.resources.BooleanAttribute'>false</attribute>
+ </resource>
+ <resource class='org.w3c.tools.resources.FileResource'>
+  <attribute name='identifier' flag='6' class='org.w3c.tools.resources.StringAttribute'>installation.html</attribute>
+  <resourcearray name='frames' class='org.w3c.tools.resources.FrameArrayAttribute' length='1'>
+   <resource class='org.w3c.jigsaw.frames.HTTPFrame'>
+    <attribute name='identifier' flag='6' class='org.w3c.tools.resources.StringAttribute'>frame-0</attribute>
+    <resourcearray name='frames' class='org.w3c.tools.resources.FrameArrayAttribute' length='0'>
+    </resourcearray>
+    <attribute name='last-modified' flag='3' class='org.w3c.tools.resources.DateAttribute'>Wed, 08 Apr 1998 08:30:59 GMT</attribute>
+    <attribute name='help-url' flag='1' class='org.w3c.tools.resources.StringAttribute'>@@NULL@@</attribute>
+    <attribute name='oid' flag='1' class='org.w3c.tools.resources.IntegerAttribute'>92167645</attribute>
+    <attribute name='quality' flag='2' class='org.w3c.tools.resources.DoubleAttribute'>1.0</attribute>
+    <attribute name='title' flag='2' class='org.w3c.tools.resources.StringAttribute'>@@NULL@@</attribute>
+    <attribute name='content-language' flag='2' class='org.w3c.jigsaw.frames.LanguageAttribute'>@@NULL@@</attribute>
+    <attribute name='content-encoding' flag='2' class='org.w3c.jigsaw.frames.EncodingAttribute'>@@NULL@@</attribute>
+    <attribute name='content-type' flag='2' class='org.w3c.jigsaw.frames.MimeTypeAttribute'>text/html</attribute>
+    <attribute name='content-length' flag='1' class='org.w3c.tools.resources.IntegerAttribute'>@@NULL@@</attribute>
+    <attribute name='icon' flag='2' class='org.w3c.tools.resources.StringAttribute'>text.gif</attribute>
+    <attribute name='maxage' flag='2' class='org.w3c.tools.resources.LongAttribute'>@@NULL@@</attribute>
+    <attribute name='send-md5' flag='2' class='org.w3c.tools.resources.BooleanAttribute'>false</attribute>
+    <attribute name='allow-delete' flag='2' class='org.w3c.tools.resources.BooleanAttribute'>false</attribute>
+    <attribute name='putable' flag='2' class='org.w3c.tools.resources.BooleanAttribute'>false</attribute>
+    <attribute name='relocate' flag='2' class='org.w3c.tools.resources.BooleanAttribute'>true</attribute>
+    <attribute name='index' flag='2' class='org.w3c.tools.resources.StringAttribute'>@@NULL@@</attribute>
+    <attribute name='icondir' flag='2' class='org.w3c.tools.resources.StringAttribute'>@@NULL@@</attribute>
+    <attribute name='browsable' flag='2' class='org.w3c.tools.resources.BooleanAttribute'>false</attribute>
+    <attribute name='style-sheet-link' flag='2' class='org.w3c.tools.resources.StringAttribute'>@@NULL@@</attribute>
+   </resource>
+  </resourcearray>
+  <attribute name='last-modified' flag='3' class='org.w3c.tools.resources.DateAttribute'>Wed, 08 Apr 1998 08:30:59 GMT</attribute>
+  <attribute name='help-url' flag='1' class='org.w3c.tools.resources.StringAttribute'>@@NULL@@</attribute>
+  <attribute name='oid' flag='1' class='org.w3c.tools.resources.IntegerAttribute'>@@NULL@@</attribute>
+  <attribute name='filename' flag='2' class='org.w3c.tools.resources.FilenameAttribute'>@@NULL@@</attribute>
+  <attribute name='file-stamp' flag='1' class='org.w3c.tools.resources.DateAttribute'>Tue, 07 Apr 1998 08:43:32 GMT</attribute>
+  <attribute name='file-length' flag='1' class='org.w3c.tools.resources.IntegerAttribute'>12293</attribute>
+  <attribute name='backup' flag='2' class='org.w3c.tools.resources.BooleanAttribute'>false</attribute>
+ </resource>
+ <resource class='org.w3c.tools.resources.FileResource'>
+  <attribute name='identifier' flag='6' class='org.w3c.tools.resources.StringAttribute'>jigadm3.gif</attribute>
+  <resourcearray name='frames' class='org.w3c.tools.resources.FrameArrayAttribute' length='1'>
+   <resource class='org.w3c.jigsaw.frames.HTTPFrame'>
+    <attribute name='identifier' flag='6' class='org.w3c.tools.resources.StringAttribute'>frame-0</attribute>
+    <resourcearray name='frames' class='org.w3c.tools.resources.FrameArrayAttribute' length='0'>
+    </resourcearray>
+    <attribute name='last-modified' flag='3' class='org.w3c.tools.resources.DateAttribute'>Wed, 08 Apr 1998 08:31:38 GMT</attribute>
+    <attribute name='help-url' flag='1' class='org.w3c.tools.resources.StringAttribute'>@@NULL@@</attribute>
+    <attribute name='oid' flag='1' class='org.w3c.tools.resources.IntegerAttribute'>1507569068</attribute>
+    <attribute name='quality' flag='2' class='org.w3c.tools.resources.DoubleAttribute'>0.8</attribute>
+    <attribute name='title' flag='2' class='org.w3c.tools.resources.StringAttribute'>@@NULL@@</attribute>
+    <attribute name='content-language' flag='2' class='org.w3c.jigsaw.frames.LanguageAttribute'>@@NULL@@</attribute>
+    <attribute name='content-encoding' flag='2' class='org.w3c.jigsaw.frames.EncodingAttribute'>@@NULL@@</attribute>
+    <attribute name='content-type' flag='2' class='org.w3c.jigsaw.frames.MimeTypeAttribute'>image/gif</attribute>
+    <attribute name='content-length' flag='1' class='org.w3c.tools.resources.IntegerAttribute'>@@NULL@@</attribute>
+    <attribute name='icon' flag='2' class='org.w3c.tools.resources.StringAttribute'>image.gif</attribute>
+    <attribute name='maxage' flag='2' class='org.w3c.tools.resources.LongAttribute'>518400000</attribute>
+    <attribute name='send-md5' flag='2' class='org.w3c.tools.resources.BooleanAttribute'>false</attribute>
+    <attribute name='allow-delete' flag='2' class='org.w3c.tools.resources.BooleanAttribute'>false</attribute>
+    <attribute name='putable' flag='2' class='org.w3c.tools.resources.BooleanAttribute'>false</attribute>
+    <attribute name='relocate' flag='2' class='org.w3c.tools.resources.BooleanAttribute'>true</attribute>
+    <attribute name='index' flag='2' class='org.w3c.tools.resources.StringAttribute'>@@NULL@@</attribute>
+    <attribute name='icondir' flag='2' class='org.w3c.tools.resources.StringAttribute'>@@NULL@@</attribute>
+    <attribute name='browsable' flag='2' class='org.w3c.tools.resources.BooleanAttribute'>false</attribute>
+    <attribute name='style-sheet-link' flag='2' class='org.w3c.tools.resources.StringAttribute'>@@NULL@@</attribute>
+   </resource>
+  </resourcearray>
+  <attribute name='last-modified' flag='3' class='org.w3c.tools.resources.DateAttribute'>Wed, 08 Apr 1998 08:31:38 GMT</attribute>
+  <attribute name='help-url' flag='1' class='org.w3c.tools.resources.StringAttribute'>@@NULL@@</attribute>
+  <attribute name='oid' flag='1' class='org.w3c.tools.resources.IntegerAttribute'>@@NULL@@</attribute>
+  <attribute name='filename' flag='2' class='org.w3c.tools.resources.FilenameAttribute'>@@NULL@@</attribute>
+  <attribute name='file-stamp' flag='1' class='org.w3c.tools.resources.DateAttribute'>Thu, 22 Jan 1998 13:40:15 GMT</attribute>
+  <attribute name='file-length' flag='1' class='org.w3c.tools.resources.IntegerAttribute'>1612</attribute>
+  <attribute name='backup' flag='2' class='org.w3c.tools.resources.BooleanAttribute'>false</attribute>
+ </resource>
+ <resource class='org.w3c.tools.resources.FileResource'>
+  <attribute name='identifier' flag='6' class='org.w3c.tools.resources.StringAttribute'>indexers_sample5.gif</attribute>
+  <resourcearray name='frames' class='org.w3c.tools.resources.FrameArrayAttribute' length='1'>
+   <resource class='org.w3c.jigsaw.frames.HTTPFrame'>
+    <attribute name='identifier' flag='6' class='org.w3c.tools.resources.StringAttribute'>frame-0</attribute>
+    <resourcearray name='frames' class='org.w3c.tools.resources.FrameArrayAttribute' length='0'>
+    </resourcearray>
+    <attribute name='last-modified' flag='3' class='org.w3c.tools.resources.DateAttribute'>Wed, 08 Apr 1998 08:32:01 GMT</attribute>
+    <attribute name='help-url' flag='1' class='org.w3c.tools.resources.StringAttribute'>@@NULL@@</attribute>
+    <attribute name='oid' flag='1' class='org.w3c.tools.resources.IntegerAttribute'>1806016931</attribute>
+    <attribute name='quality' flag='2' class='org.w3c.tools.resources.DoubleAttribute'>0.8</attribute>
+    <attribute name='title' flag='2' class='org.w3c.tools.resources.StringAttribute'>@@NULL@@</attribute>
+    <attribute name='content-language' flag='2' class='org.w3c.jigsaw.frames.LanguageAttribute'>@@NULL@@</attribute>
+    <attribute name='content-encoding' flag='2' class='org.w3c.jigsaw.frames.EncodingAttribute'>@@NULL@@</attribute>
+    <attribute name='content-type' flag='2' class='org.w3c.jigsaw.frames.MimeTypeAttribute'>image/gif</attribute>
+    <attribute name='content-length' flag='1' class='org.w3c.tools.resources.IntegerAttribute'>@@NULL@@</attribute>
+    <attribute name='icon' flag='2' class='org.w3c.tools.resources.StringAttribute'>image.gif</attribute>
+    <attribute name='maxage' flag='2' class='org.w3c.tools.resources.LongAttribute'>518400000</attribute>
+    <attribute name='send-md5' flag='2' class='org.w3c.tools.resources.BooleanAttribute'>false</attribute>
+    <attribute name='allow-delete' flag='2' class='org.w3c.tools.resources.BooleanAttribute'>false</attribute>
+    <attribute name='putable' flag='2' class='org.w3c.tools.resources.BooleanAttribute'>false</attribute>
+    <attribute name='relocate' flag='2' class='org.w3c.tools.resources.BooleanAttribute'>true</attribute>
+    <attribute name='index' flag='2' class='org.w3c.tools.resources.StringAttribute'>@@NULL@@</attribute>
+    <attribute name='icondir' flag='2' class='org.w3c.tools.resources.StringAttribute'>@@NULL@@</attribute>
+    <attribute name='browsable' flag='2' class='org.w3c.tools.resources.BooleanAttribute'>false</attribute>
+    <attribute name='style-sheet-link' flag='2' class='org.w3c.tools.resources.StringAttribute'>@@NULL@@</attribute>
+   </resource>
+  </resourcearray>
+  <attribute name='last-modified' flag='3' class='org.w3c.tools.resources.DateAttribute'>Wed, 08 Apr 1998 08:32:01 GMT</attribute>
+  <attribute name='help-url' flag='1' class='org.w3c.tools.resources.StringAttribute'>@@NULL@@</attribute>
+  <attribute name='oid' flag='1' class='org.w3c.tools.resources.IntegerAttribute'>@@NULL@@</attribute>
+  <attribute name='filename' flag='2' class='org.w3c.tools.resources.FilenameAttribute'>@@NULL@@</attribute>
+  <attribute name='file-stamp' flag='1' class='org.w3c.tools.resources.DateAttribute'>Mon, 02 Mar 1998 14:11:15 GMT</attribute>
+  <attribute name='file-length' flag='1' class='org.w3c.tools.resources.IntegerAttribute'>12763</attribute>
+  <attribute name='backup' flag='2' class='org.w3c.tools.resources.BooleanAttribute'>false</attribute>
+ </resource>
+ <resource class='org.w3c.tools.resources.FileResource'>
+  <attribute name='identifier' flag='6' class='org.w3c.tools.resources.StringAttribute'>indexers_sample3.gif</attribute>
+  <resourcearray name='frames' class='org.w3c.tools.resources.FrameArrayAttribute' length='1'>
+   <resource class='org.w3c.jigsaw.frames.HTTPFrame'>
+    <attribute name='identifier' flag='6' class='org.w3c.tools.resources.StringAttribute'>frame-0</attribute>
+    <resourcearray name='frames' class='org.w3c.tools.resources.FrameArrayAttribute' length='0'>
+    </resourcearray>
+    <attribute name='last-modified' flag='3' class='org.w3c.tools.resources.DateAttribute'>Wed, 08 Apr 1998 08:31:58 GMT</attribute>
+    <attribute name='help-url' flag='1' class='org.w3c.tools.resources.StringAttribute'>@@NULL@@</attribute>
+    <attribute name='oid' flag='1' class='org.w3c.tools.resources.IntegerAttribute'>874248424</attribute>
+    <attribute name='quality' flag='2' class='org.w3c.tools.resources.DoubleAttribute'>0.8</attribute>
+    <attribute name='title' flag='2' class='org.w3c.tools.resources.StringAttribute'>@@NULL@@</attribute>
+    <attribute name='content-language' flag='2' class='org.w3c.jigsaw.frames.LanguageAttribute'>@@NULL@@</attribute>
+    <attribute name='content-encoding' flag='2' class='org.w3c.jigsaw.frames.EncodingAttribute'>@@NULL@@</attribute>
+    <attribute name='content-type' flag='2' class='org.w3c.jigsaw.frames.MimeTypeAttribute'>image/gif</attribute>
+    <attribute name='content-length' flag='1' class='org.w3c.tools.resources.IntegerAttribute'>@@NULL@@</attribute>
+    <attribute name='icon' flag='2' class='org.w3c.tools.resources.StringAttribute'>image.gif</attribute>
+    <attribute name='maxage' flag='2' class='org.w3c.tools.resources.LongAttribute'>518400000</attribute>
+    <attribute name='send-md5' flag='2' class='org.w3c.tools.resources.BooleanAttribute'>false</attribute>
+    <attribute name='allow-delete' flag='2' class='org.w3c.tools.resources.BooleanAttribute'>false</attribute>
+    <attribute name='putable' flag='2' class='org.w3c.tools.resources.BooleanAttribute'>false</attribute>
+    <attribute name='relocate' flag='2' class='org.w3c.tools.resources.BooleanAttribute'>true</attribute>
+    <attribute name='index' flag='2' class='org.w3c.tools.resources.StringAttribute'>@@NULL@@</attribute>
+    <attribute name='icondir' flag='2' class='org.w3c.tools.resources.StringAttribute'>@@NULL@@</attribute>
+    <attribute name='browsable' flag='2' class='org.w3c.tools.resources.BooleanAttribute'>false</attribute>
+    <attribute name='style-sheet-link' flag='2' class='org.w3c.tools.resources.StringAttribute'>@@NULL@@</attribute>
+   </resource>
+  </resourcearray>
+  <attribute name='last-modified' flag='3' class='org.w3c.tools.resources.DateAttribute'>Wed, 08 Apr 1998 08:31:58 GMT</attribute>
+  <attribute name='help-url' flag='1' class='org.w3c.tools.resources.StringAttribute'>@@NULL@@</attribute>
+  <attribute name='oid' flag='1' class='org.w3c.tools.resources.IntegerAttribute'>@@NULL@@</attribute>
+  <attribute name='filename' flag='2' class='org.w3c.tools.resources.FilenameAttribute'>@@NULL@@</attribute>
+  <attribute name='file-stamp' flag='1' class='org.w3c.tools.resources.DateAttribute'>Mon, 02 Mar 1998 14:11:01 GMT</attribute>
+  <attribute name='file-length' flag='1' class='org.w3c.tools.resources.IntegerAttribute'>6011</attribute>
+  <attribute name='backup' flag='2' class='org.w3c.tools.resources.BooleanAttribute'>false</attribute>
+ </resource>
+ <resource class='org.w3c.tools.resources.FileResource'>
+  <attribute name='identifier' flag='6' class='org.w3c.tools.resources.StringAttribute'>indexers_sample2.gif</attribute>
+  <resourcearray name='frames' class='org.w3c.tools.resources.FrameArrayAttribute' length='1'>
+   <resource class='org.w3c.jigsaw.frames.HTTPFrame'>
+    <attribute name='identifier' flag='6' class='org.w3c.tools.resources.StringAttribute'>frame-0</attribute>
+    <resourcearray name='frames' class='org.w3c.tools.resources.FrameArrayAttribute' length='0'>
+    </resourcearray>
+    <attribute name='last-modified' flag='3' class='org.w3c.tools.resources.DateAttribute'>Wed, 08 Apr 1998 08:31:58 GMT</attribute>
+    <attribute name='help-url' flag='1' class='org.w3c.tools.resources.StringAttribute'>@@NULL@@</attribute>
+    <attribute name='oid' flag='1' class='org.w3c.tools.resources.IntegerAttribute'>526169764</attribute>
+    <attribute name='quality' flag='2' class='org.w3c.tools.resources.DoubleAttribute'>0.8</attribute>
+    <attribute name='title' flag='2' class='org.w3c.tools.resources.StringAttribute'>@@NULL@@</attribute>
+    <attribute name='content-language' flag='2' class='org.w3c.jigsaw.frames.LanguageAttribute'>@@NULL@@</attribute>
+    <attribute name='content-encoding' flag='2' class='org.w3c.jigsaw.frames.EncodingAttribute'>@@NULL@@</attribute>
+    <attribute name='content-type' flag='2' class='org.w3c.jigsaw.frames.MimeTypeAttribute'>image/gif</attribute>
+    <attribute name='content-length' flag='1' class='org.w3c.tools.resources.IntegerAttribute'>@@NULL@@</attribute>
+    <attribute name='icon' flag='2' class='org.w3c.tools.resources.StringAttribute'>image.gif</attribute>
+    <attribute name='maxage' flag='2' class='org.w3c.tools.resources.LongAttribute'>518400000</attribute>
+    <attribute name='send-md5' flag='2' class='org.w3c.tools.resources.BooleanAttribute'>false</attribute>
+    <attribute name='allow-delete' flag='2' class='org.w3c.tools.resources.BooleanAttribute'>false</attribute>
+    <attribute name='putable' flag='2' class='org.w3c.tools.resources.BooleanAttribute'>false</attribute>
+    <attribute name='relocate' flag='2' class='org.w3c.tools.resources.BooleanAttribute'>true</attribute>
+    <attribute name='index' flag='2' class='org.w3c.tools.resources.StringAttribute'>@@NULL@@</attribute>
+    <attribute name='icondir' flag='2' class='org.w3c.tools.resources.StringAttribute'>@@NULL@@</attribute>
+    <attribute name='browsable' flag='2' class='org.w3c.tools.resources.BooleanAttribute'>false</attribute>
+    <attribute name='style-sheet-link' flag='2' class='org.w3c.tools.resources.StringAttribute'>@@NULL@@</attribute>
+   </resource>
+  </resourcearray>
+  <attribute name='last-modified' flag='3' class='org.w3c.tools.resources.DateAttribute'>Wed, 08 Apr 1998 08:31:58 GMT</attribute>
+  <attribute name='help-url' flag='1' class='org.w3c.tools.resources.StringAttribute'>@@NULL@@</attribute>
+  <attribute name='oid' flag='1' class='org.w3c.tools.resources.IntegerAttribute'>@@NULL@@</attribute>
+  <attribute name='filename' flag='2' class='org.w3c.tools.resources.FilenameAttribute'>@@NULL@@</attribute>
+  <attribute name='file-stamp' flag='1' class='org.w3c.tools.resources.DateAttribute'>Mon, 02 Mar 1998 14:10:55 GMT</attribute>
+  <attribute name='file-length' flag='1' class='org.w3c.tools.resources.IntegerAttribute'>8064</attribute>
+  <attribute name='backup' flag='2' class='org.w3c.tools.resources.BooleanAttribute'>false</attribute>
+ </resource>
+ <resource class='org.w3c.tools.resources.FileResource'>
+  <attribute name='identifier' flag='6' class='org.w3c.tools.resources.StringAttribute'>indexers_sample1.gif</attribute>
+  <resourcearray name='frames' class='org.w3c.tools.resources.FrameArrayAttribute' length='1'>
+   <resource class='org.w3c.jigsaw.frames.HTTPFrame'>
+    <attribute name='identifier' flag='6' class='org.w3c.tools.resources.StringAttribute'>frame-0</attribute>
+    <resourcearray name='frames' class='org.w3c.tools.resources.FrameArrayAttribute' length='0'>
+    </resourcearray>
+    <attribute name='last-modified' flag='3' class='org.w3c.tools.resources.DateAttribute'>Wed, 08 Apr 1998 08:31:58 GMT</attribute>
+    <attribute name='help-url' flag='1' class='org.w3c.tools.resources.StringAttribute'>@@NULL@@</attribute>
+    <attribute name='oid' flag='1' class='org.w3c.tools.resources.IntegerAttribute'>272159643</attribute>
+    <attribute name='quality' flag='2' class='org.w3c.tools.resources.DoubleAttribute'>0.8</attribute>
+    <attribute name='title' flag='2' class='org.w3c.tools.resources.StringAttribute'>@@NULL@@</attribute>
+    <attribute name='content-language' flag='2' class='org.w3c.jigsaw.frames.LanguageAttribute'>@@NULL@@</attribute>
+    <attribute name='content-encoding' flag='2' class='org.w3c.jigsaw.frames.EncodingAttribute'>@@NULL@@</attribute>
+    <attribute name='content-type' flag='2' class='org.w3c.jigsaw.frames.MimeTypeAttribute'>image/gif</attribute>
+    <attribute name='content-length' flag='1' class='org.w3c.tools.resources.IntegerAttribute'>@@NULL@@</attribute>
+    <attribute name='icon' flag='2' class='org.w3c.tools.resources.StringAttribute'>image.gif</attribute>
+    <attribute name='maxage' flag='2' class='org.w3c.tools.resources.LongAttribute'>518400000</attribute>
+    <attribute name='send-md5' flag='2' class='org.w3c.tools.resources.BooleanAttribute'>false</attribute>
+    <attribute name='allow-delete' flag='2' class='org.w3c.tools.resources.BooleanAttribute'>false</attribute>
+    <attribute name='putable' flag='2' class='org.w3c.tools.resources.BooleanAttribute'>false</attribute>
+    <attribute name='relocate' flag='2' class='org.w3c.tools.resources.BooleanAttribute'>true</attribute>
+    <attribute name='index' flag='2' class='org.w3c.tools.resources.StringAttribute'>@@NULL@@</attribute>
+    <attribute name='icondir' flag='2' class='org.w3c.tools.resources.StringAttribute'>@@NULL@@</attribute>
+    <attribute name='browsable' flag='2' class='org.w3c.tools.resources.BooleanAttribute'>false</attribute>
+    <attribute name='style-sheet-link' flag='2' class='org.w3c.tools.resources.StringAttribute'>@@NULL@@</attribute>
+   </resource>
+  </resourcearray>
+  <attribute name='last-modified' flag='3' class='org.w3c.tools.resources.DateAttribute'>Wed, 08 Apr 1998 08:31:58 GMT</attribute>
+  <attribute name='help-url' flag='1' class='org.w3c.tools.resources.StringAttribute'>@@NULL@@</attribute>
+  <attribute name='oid' flag='1' class='org.w3c.tools.resources.IntegerAttribute'>@@NULL@@</attribute>
+  <attribute name='filename' flag='2' class='org.w3c.tools.resources.FilenameAttribute'>@@NULL@@</attribute>
+  <attribute name='file-stamp' flag='1' class='org.w3c.tools.resources.DateAttribute'>Mon, 02 Mar 1998 14:10:49 GMT</attribute>
+  <attribute name='file-length' flag='1' class='org.w3c.tools.resources.IntegerAttribute'>6789</attribute>
+  <attribute name='backup' flag='2' class='org.w3c.tools.resources.BooleanAttribute'>false</attribute>
+ </resource>
+ <resource class='org.w3c.tools.resources.FileResource'>
+  <attribute name='identifier' flag='6' class='org.w3c.tools.resources.StringAttribute'>indexers_sample4.gif</attribute>
+  <resourcearray name='frames' class='org.w3c.tools.resources.FrameArrayAttribute' length='1'>
+   <resource class='org.w3c.jigsaw.frames.HTTPFrame'>
+    <attribute name='identifier' flag='6' class='org.w3c.tools.resources.StringAttribute'>frame-0</attribute>
+    <resourcearray name='frames' class='org.w3c.tools.resources.FrameArrayAttribute' length='0'>
+    </resourcearray>
+    <attribute name='last-modified' flag='3' class='org.w3c.tools.resources.DateAttribute'>Wed, 08 Apr 1998 08:31:58 GMT</attribute>
+    <attribute name='help-url' flag='1' class='org.w3c.tools.resources.StringAttribute'>@@NULL@@</attribute>
+    <attribute name='oid' flag='1' class='org.w3c.tools.resources.IntegerAttribute'>1519536938</attribute>
+    <attribute name='quality' flag='2' class='org.w3c.tools.resources.DoubleAttribute'>0.8</attribute>
+    <attribute name='title' flag='2' class='org.w3c.tools.resources.StringAttribute'>@@NULL@@</attribute>
+    <attribute name='content-language' flag='2' class='org.w3c.jigsaw.frames.LanguageAttribute'>@@NULL@@</attribute>
+    <attribute name='content-encoding' flag='2' class='org.w3c.jigsaw.frames.EncodingAttribute'>@@NULL@@</attribute>
+    <attribute name='content-type' flag='2' class='org.w3c.jigsaw.frames.MimeTypeAttribute'>image/gif</attribute>
+    <attribute name='content-length' flag='1' class='org.w3c.tools.resources.IntegerAttribute'>@@NULL@@</attribute>
+    <attribute name='icon' flag='2' class='org.w3c.tools.resources.StringAttribute'>image.gif</attribute>
+    <attribute name='maxage' flag='2' class='org.w3c.tools.resources.LongAttribute'>518400000</attribute>
+    <attribute name='send-md5' flag='2' class='org.w3c.tools.resources.BooleanAttribute'>false</attribute>
+    <attribute name='allow-delete' flag='2' class='org.w3c.tools.resources.BooleanAttribute'>false</attribute>
+    <attribute name='putable' flag='2' class='org.w3c.tools.resources.BooleanAttribute'>false</attribute>
+    <attribute name='relocate' flag='2' class='org.w3c.tools.resources.BooleanAttribute'>true</attribute>
+    <attribute name='index' flag='2' class='org.w3c.tools.resources.StringAttribute'>@@NULL@@</attribute>
+    <attribute name='icondir' flag='2' class='org.w3c.tools.resources.StringAttribute'>@@NULL@@</attribute>
+    <attribute name='browsable' flag='2' class='org.w3c.tools.resources.BooleanAttribute'>false</attribute>
+    <attribute name='style-sheet-link' flag='2' class='org.w3c.tools.resources.StringAttribute'>@@NULL@@</attribute>
+   </resource>
+  </resourcearray>
+  <attribute name='last-modified' flag='3' class='org.w3c.tools.resources.DateAttribute'>Wed, 08 Apr 1998 08:31:58 GMT</attribute>
+  <attribute name='help-url' flag='1' class='org.w3c.tools.resources.StringAttribute'>@@NULL@@</attribute>
+  <attribute name='oid' flag='1' class='org.w3c.tools.resources.IntegerAttribute'>@@NULL@@</attribute>
+  <attribute name='filename' flag='2' class='org.w3c.tools.resources.FilenameAttribute'>@@NULL@@</attribute>
+  <attribute name='file-stamp' flag='1' class='org.w3c.tools.resources.DateAttribute'>Mon, 02 Mar 1998 14:11:08 GMT</attribute>
+  <attribute name='file-length' flag='1' class='org.w3c.tools.resources.IntegerAttribute'>13068</attribute>
+  <attribute name='backup' flag='2' class='org.w3c.tools.resources.BooleanAttribute'>false</attribute>
+ </resource>
+ <resource class='org.w3c.tools.resources.FileResource'>
+  <attribute name='identifier' flag='6' class='org.w3c.tools.resources.StringAttribute'>jigadmin5.gif</attribute>
+  <resourcearray name='frames' class='org.w3c.tools.resources.FrameArrayAttribute' length='1'>
+   <resource class='org.w3c.jigsaw.frames.HTTPFrame'>
+    <attribute name='identifier' flag='6' class='org.w3c.tools.resources.StringAttribute'>frame-0</attribute>
+    <resourcearray name='frames' class='org.w3c.tools.resources.FrameArrayAttribute' length='0'>
+    </resourcearray>
+    <attribute name='last-modified' flag='3' class='org.w3c.tools.resources.DateAttribute'>Wed, 08 Apr 1998 08:31:45 GMT</attribute>
+    <attribute name='help-url' flag='1' class='org.w3c.tools.resources.StringAttribute'>@@NULL@@</attribute>
+    <attribute name='oid' flag='1' class='org.w3c.tools.resources.IntegerAttribute'>893597140</attribute>
+    <attribute name='quality' flag='2' class='org.w3c.tools.resources.DoubleAttribute'>0.8</attribute>
+    <attribute name='title' flag='2' class='org.w3c.tools.resources.StringAttribute'>@@NULL@@</attribute>
+    <attribute name='content-language' flag='2' class='org.w3c.jigsaw.frames.LanguageAttribute'>@@NULL@@</attribute>
+    <attribute name='content-encoding' flag='2' class='org.w3c.jigsaw.frames.EncodingAttribute'>@@NULL@@</attribute>
+    <attribute name='content-type' flag='2' class='org.w3c.jigsaw.frames.MimeTypeAttribute'>image/gif</attribute>
+    <attribute name='content-length' flag='1' class='org.w3c.tools.resources.IntegerAttribute'>@@NULL@@</attribute>
+    <attribute name='icon' flag='2' class='org.w3c.tools.resources.StringAttribute'>image.gif</attribute>
+    <attribute name='maxage' flag='2' class='org.w3c.tools.resources.LongAttribute'>518400000</attribute>
+    <attribute name='send-md5' flag='2' class='org.w3c.tools.resources.BooleanAttribute'>false</attribute>
+    <attribute name='allow-delete' flag='2' class='org.w3c.tools.resources.BooleanAttribute'>false</attribute>
+    <attribute name='putable' flag='2' class='org.w3c.tools.resources.BooleanAttribute'>false</attribute>
+    <attribute name='relocate' flag='2' class='org.w3c.tools.resources.BooleanAttribute'>true</attribute>
+    <attribute name='index' flag='2' class='org.w3c.tools.resources.StringAttribute'>@@NULL@@</attribute>
+    <attribute name='icondir' flag='2' class='org.w3c.tools.resources.StringAttribute'>@@NULL@@</attribute>
+    <attribute name='browsable' flag='2' class='org.w3c.tools.resources.BooleanAttribute'>false</attribute>
+    <attribute name='style-sheet-link' flag='2' class='org.w3c.tools.resources.StringAttribute'>@@NULL@@</attribute>
+   </resource>
+  </resourcearray>
+  <attribute name='last-modified' flag='3' class='org.w3c.tools.resources.DateAttribute'>Wed, 08 Apr 1998 08:31:45 GMT</attribute>
+  <attribute name='help-url' flag='1' class='org.w3c.tools.resources.StringAttribute'>@@NULL@@</attribute>
+  <attribute name='oid' flag='1' class='org.w3c.tools.resources.IntegerAttribute'>@@NULL@@</attribute>
+  <attribute name='filename' flag='2' class='org.w3c.tools.resources.FilenameAttribute'>@@NULL@@</attribute>
+  <attribute name='file-stamp' flag='1' class='org.w3c.tools.resources.DateAttribute'>Tue, 07 Apr 1998 07:28:11 GMT</attribute>
+  <attribute name='file-length' flag='1' class='org.w3c.tools.resources.IntegerAttribute'>7376</attribute>
+  <attribute name='backup' flag='2' class='org.w3c.tools.resources.BooleanAttribute'>false</attribute>
+ </resource>
+ <resource class='org.w3c.tools.resources.FileResource'>
+  <attribute name='identifier' flag='6' class='org.w3c.tools.resources.StringAttribute'>jigadm2.gif</attribute>
+  <resourcearray name='frames' class='org.w3c.tools.resources.FrameArrayAttribute' length='1'>
+   <resource class='org.w3c.jigsaw.frames.HTTPFrame'>
+    <attribute name='identifier' flag='6' class='org.w3c.tools.resources.StringAttribute'>frame-0</attribute>
+    <resourcearray name='frames' class='org.w3c.tools.resources.FrameArrayAttribute' length='0'>
+    </resourcearray>
+    <attribute name='last-modified' flag='3' class='org.w3c.tools.resources.DateAttribute'>Wed, 08 Apr 1998 08:31:38 GMT</attribute>
+    <attribute name='help-url' flag='1' class='org.w3c.tools.resources.StringAttribute'>@@NULL@@</attribute>
+    <attribute name='oid' flag='1' class='org.w3c.tools.resources.IntegerAttribute'>1676614885</attribute>
+    <attribute name='quality' flag='2' class='org.w3c.tools.resources.DoubleAttribute'>0.8</attribute>
+    <attribute name='title' flag='2' class='org.w3c.tools.resources.StringAttribute'>@@NULL@@</attribute>
+    <attribute name='content-language' flag='2' class='org.w3c.jigsaw.frames.LanguageAttribute'>@@NULL@@</attribute>
+    <attribute name='content-encoding' flag='2' class='org.w3c.jigsaw.frames.EncodingAttribute'>@@NULL@@</attribute>
+    <attribute name='content-type' flag='2' class='org.w3c.jigsaw.frames.MimeTypeAttribute'>image/gif</attribute>
+    <attribute name='content-length' flag='1' class='org.w3c.tools.resources.IntegerAttribute'>@@NULL@@</attribute>
+    <attribute name='icon' flag='2' class='org.w3c.tools.resources.StringAttribute'>image.gif</attribute>
+    <attribute name='maxage' flag='2' class='org.w3c.tools.resources.LongAttribute'>518400000</attribute>
+    <attribute name='send-md5' flag='2' class='org.w3c.tools.resources.BooleanAttribute'>false</attribute>
+    <attribute name='allow-delete' flag='2' class='org.w3c.tools.resources.BooleanAttribute'>false</attribute>
+    <attribute name='putable' flag='2' class='org.w3c.tools.resources.BooleanAttribute'>false</attribute>
+    <attribute name='relocate' flag='2' class='org.w3c.tools.resources.BooleanAttribute'>true</attribute>
+    <attribute name='index' flag='2' class='org.w3c.tools.resources.StringAttribute'>@@NULL@@</attribute>
+    <attribute name='icondir' flag='2' class='org.w3c.tools.resources.StringAttribute'>@@NULL@@</attribute>
+    <attribute name='browsable' flag='2' class='org.w3c.tools.resources.BooleanAttribute'>false</attribute>
+    <attribute name='style-sheet-link' flag='2' class='org.w3c.tools.resources.StringAttribute'>@@NULL@@</attribute>
+   </resource>
+  </resourcearray>
+  <attribute name='last-modified' flag='3' class='org.w3c.tools.resources.DateAttribute'>Wed, 08 Apr 1998 08:31:38 GMT</attribute>
+  <attribute name='help-url' flag='1' class='org.w3c.tools.resources.StringAttribute'>@@NULL@@</attribute>
+  <attribute name='oid' flag='1' class='org.w3c.tools.resources.IntegerAttribute'>@@NULL@@</attribute>
+  <attribute name='filename' flag='2' class='org.w3c.tools.resources.FilenameAttribute'>@@NULL@@</attribute>
+  <attribute name='file-stamp' flag='1' class='org.w3c.tools.resources.DateAttribute'>Thu, 22 Jan 1998 13:40:28 GMT</attribute>
+  <attribute name='file-length' flag='1' class='org.w3c.tools.resources.IntegerAttribute'>1083</attribute>
+  <attribute name='backup' flag='2' class='org.w3c.tools.resources.BooleanAttribute'>false</attribute>
+ </resource>
+</jxml>