Adding JMCR-Stable version

[Benchmarks_CSolver.git] / JMCR-Stable / mcr-test / lib / config / stores / 3 / st-3

diff --git a/JMCR-Stable/mcr-test/lib/config/stores/3/st-3 b/JMCR-Stable/mcr-test/lib/config/stores/3/st-3
new file mode 100644 (file)
index 0000000..c334043
--- /dev/null
+++ b/JMCR-Stable/mcr-test/lib/config/stores/3/st-3
@@ -0,0 +1,291 @@
+<?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.FramedResource'>
+  <attribute name='identifier' flag='6' class='org.w3c.tools.resources.StringAttribute'>new_red</attribute>
+  <resourcearray name='frames' class='org.w3c.tools.resources.FrameArrayAttribute' length='1'>
+   <resource class='org.w3c.jigsaw.frames.NegotiatedFrame'>
+    <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'>Tue, 27 Jul 1999 12:29:32 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='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'>@@NULL@@</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'>generic.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>
+    <array name='variants' flag='2' class='org.w3c.tools.resources.StringArrayAttribute' length='1'>
+     <value>new_red.gif</value>
+    </array>
+    <attribute name='strict_put' flag='2' class='org.w3c.tools.resources.BooleanAttribute'>true</attribute>
+   </resource>
+  </resourcearray>
+  <attribute name='last-modified' flag='3' class='org.w3c.tools.resources.DateAttribute'>Tue, 27 Jul 1999 12:29:32 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>
+ </resource>
+ <resource class='org.w3c.tools.resources.FileResource'>
+  <attribute name='identifier' flag='6' class='org.w3c.tools.resources.StringAttribute'>new_red.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'>Tue, 27 Jul 1999 12:29:44 GMT</attribute>
+    <attribute name='help-url' flag='1' class='org.w3c.tools.resources.StringAttribute'>http://www45.inria.fr:8001/Doc/Reference/org.w3c.jigsaw.frames.HTTPFrame.html</attribute>
+    <attribute name='oid' flag='1' class='org.w3c.tools.resources.IntegerAttribute'>1864490444</attribute>
+    <attribute name='quality' flag='2' class='org.w3c.tools.resources.DoubleAttribute'>0.81</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'>93</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'>Tue, 27 Jul 1999 12:29:44 GMT</attribute>
+  <attribute name='help-url' flag='1' class='org.w3c.tools.resources.StringAttribute'>http://www45.inria.fr:8001/Doc/Reference/org.w3c.tools.resources.FileResource.html</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'>new_red.gif</attribute>
+  <attribute name='file-stamp' flag='1' class='org.w3c.tools.resources.DateAttribute'>Tue, 27 Jul 1999 09:26:26 GMT</attribute>
+  <attribute name='file-length' flag='1' class='org.w3c.tools.resources.IntegerAttribute'>93</attribute>
+  <attribute name='backup' flag='2' class='org.w3c.tools.resources.BooleanAttribute'>false</attribute>
+ </resource>
+ <resource class='org.w3c.tools.resources.FramedResource'>
+  <attribute name='identifier' flag='6' class='org.w3c.tools.resources.StringAttribute'>up</attribute>
+  <resourcearray name='frames' class='org.w3c.tools.resources.FrameArrayAttribute' length='1'>
+   <resource class='org.w3c.jigsaw.frames.NegotiatedFrame'>
+    <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'>Tue, 27 Jul 1999 12:29:32 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='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'>@@NULL@@</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'>generic.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>
+    <array name='variants' flag='2' class='org.w3c.tools.resources.StringArrayAttribute' length='1'>
+     <value>up.gif</value>
+    </array>
+    <attribute name='strict_put' flag='2' class='org.w3c.tools.resources.BooleanAttribute'>true</attribute>
+   </resource>
+  </resourcearray>
+  <attribute name='last-modified' flag='3' class='org.w3c.tools.resources.DateAttribute'>Tue, 27 Jul 1999 12:29:32 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>
+ </resource>
+ <resource class='org.w3c.tools.resources.FileResource'>
+  <attribute name='identifier' flag='6' class='org.w3c.tools.resources.StringAttribute'>w3c_home.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'>Tue, 27 Jul 1999 12:28:49 GMT</attribute>
+    <attribute name='help-url' flag='1' class='org.w3c.tools.resources.StringAttribute'>http://www45.inria.fr:8001/Doc/Reference/org.w3c.jigsaw.frames.HTTPFrame.html</attribute>
+    <attribute name='oid' flag='1' class='org.w3c.tools.resources.IntegerAttribute'>378279741</attribute>
+    <attribute name='quality' flag='2' class='org.w3c.tools.resources.DoubleAttribute'>0.81</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'>901</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'>Tue, 27 Jul 1999 12:28:49 GMT</attribute>
+  <attribute name='help-url' flag='1' class='org.w3c.tools.resources.StringAttribute'>http://www45.inria.fr:8001/Doc/Reference/org.w3c.tools.resources.FileResource.html</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'>w3c_home.gif</attribute>
+  <attribute name='file-stamp' flag='1' class='org.w3c.tools.resources.DateAttribute'>Tue, 27 Jul 1999 09:26:26 GMT</attribute>
+  <attribute name='file-length' flag='1' class='org.w3c.tools.resources.IntegerAttribute'>901</attribute>
+  <attribute name='backup' flag='2' class='org.w3c.tools.resources.BooleanAttribute'>false</attribute>
+ </resource>
+ <resource class='org.w3c.tools.resources.FramedResource'>
+  <attribute name='identifier' flag='6' class='org.w3c.tools.resources.StringAttribute'>relnotes48x</attribute>
+  <resourcearray name='frames' class='org.w3c.tools.resources.FrameArrayAttribute' length='1'>
+   <resource class='org.w3c.jigsaw.frames.NegotiatedFrame'>
+    <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'>Tue, 27 Jul 1999 12:29:32 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='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'>@@NULL@@</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'>generic.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>
+    <array name='variants' flag='2' class='org.w3c.tools.resources.StringArrayAttribute' length='1'>
+     <value>relnotes48x.gif</value>
+    </array>
+    <attribute name='strict_put' flag='2' class='org.w3c.tools.resources.BooleanAttribute'>true</attribute>
+   </resource>
+  </resourcearray>
+  <attribute name='last-modified' flag='3' class='org.w3c.tools.resources.DateAttribute'>Tue, 27 Jul 1999 12:29:32 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>
+ </resource>
+ <resource class='org.w3c.tools.resources.FileResource'>
+  <attribute name='identifier' flag='6' class='org.w3c.tools.resources.StringAttribute'>up.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'>Tue, 27 Jul 1999 12:29:42 GMT</attribute>
+    <attribute name='help-url' flag='1' class='org.w3c.tools.resources.StringAttribute'>http://www45.inria.fr:8001/Doc/Reference/org.w3c.jigsaw.frames.HTTPFrame.html</attribute>
+    <attribute name='oid' flag='1' class='org.w3c.tools.resources.IntegerAttribute'>1846478633</attribute>
+    <attribute name='quality' flag='2' class='org.w3c.tools.resources.DoubleAttribute'>0.81</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'>148</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'>Tue, 27 Jul 1999 12:29:42 GMT</attribute>
+  <attribute name='help-url' flag='1' class='org.w3c.tools.resources.StringAttribute'>http://www45.inria.fr:8001/Doc/Reference/org.w3c.tools.resources.FileResource.html</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'>up.gif</attribute>
+  <attribute name='file-stamp' flag='1' class='org.w3c.tools.resources.DateAttribute'>Tue, 27 Jul 1999 09:26:26 GMT</attribute>
+  <attribute name='file-length' flag='1' class='org.w3c.tools.resources.IntegerAttribute'>148</attribute>
+  <attribute name='backup' flag='2' class='org.w3c.tools.resources.BooleanAttribute'>false</attribute>
+ </resource>
+ <resource class='org.w3c.tools.resources.FramedResource'>
+  <attribute name='identifier' flag='6' class='org.w3c.tools.resources.StringAttribute'>w3c_home</attribute>
+  <resourcearray name='frames' class='org.w3c.tools.resources.FrameArrayAttribute' length='1'>
+   <resource class='org.w3c.jigsaw.frames.NegotiatedFrame'>
+    <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'>Tue, 27 Jul 1999 12:29:32 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='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'>@@NULL@@</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'>generic.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>
+    <array name='variants' flag='2' class='org.w3c.tools.resources.StringArrayAttribute' length='1'>
+     <value>w3c_home.gif</value>
+    </array>
+    <attribute name='strict_put' flag='2' class='org.w3c.tools.resources.BooleanAttribute'>true</attribute>
+   </resource>
+  </resourcearray>
+  <attribute name='last-modified' flag='3' class='org.w3c.tools.resources.DateAttribute'>Tue, 27 Jul 1999 12:29:32 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>
+ </resource>
+ <resource class='org.w3c.tools.resources.FileResource'>
+  <attribute name='identifier' flag='6' class='org.w3c.tools.resources.StringAttribute'>relnotes48x.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'>Tue, 27 Jul 1999 12:31:45 GMT</attribute>
+    <attribute name='help-url' flag='1' class='org.w3c.tools.resources.StringAttribute'>http://www45.inria.fr:8001/Doc/Reference/org.w3c.jigsaw.frames.HTTPFrame.html</attribute>
+    <attribute name='oid' flag='1' class='org.w3c.tools.resources.IntegerAttribute'>1369418548</attribute>
+    <attribute name='quality' flag='2' class='org.w3c.tools.resources.DoubleAttribute'>0.81</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'>480</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'>Tue, 27 Jul 1999 12:31:45 GMT</attribute>
+  <attribute name='help-url' flag='1' class='org.w3c.tools.resources.StringAttribute'>http://www45.inria.fr:8001/Doc/Reference/org.w3c.tools.resources.FileResource.html</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'>relnotes48x.gif</attribute>
+  <attribute name='file-stamp' flag='1' class='org.w3c.tools.resources.DateAttribute'>Tue, 27 Jul 1999 09:26:26 GMT</attribute>
+  <attribute name='file-length' flag='1' class='org.w3c.tools.resources.IntegerAttribute'>480</attribute>
+  <attribute name='backup' flag='2' class='org.w3c.tools.resources.BooleanAttribute'>false</attribute>
+ </resource>
+</jxml>