Adding JMCR-Stable version

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

diff --git a/JMCR-Stable/real-world application/jigsaw/config/stores/16/st-16 b/JMCR-Stable/real-world application/jigsaw/config/stores/16/st-16
new file mode 100644 (file)
index 0000000..5903309
--- /dev/null
+++ b/JMCR-Stable/real-world application/jigsaw/config/stores/16/st-16
@@ -0,0 +1,358 @@
+<?xml version='1.0' encoding='UTF-8'?>
+<jigxml version="1.0" xmlns="http://jigsaw.w3.org/JigXML/JigXML1.0">
+ <resource class='org.w3c.tools.resources.FileResource'>
+  <attribute name='identifier' flag='6' class='org.w3c.tools.resources.StringAttribute'>dir-output.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:34:42 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'>1651769061</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='charset' flag='2' class='org.w3c.tools.resources.StringAttribute'>@@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'>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>
+    <array name='indexes' flag='2' class='org.w3c.tools.resources.StringArrayAttribute' length='0'>
+    </array>
+    <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:34:42 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'>Wed, 25 Mar 1998 12:50:53 GMT</attribute>
+  <attribute name='file-length' flag='1' class='org.w3c.tools.resources.IntegerAttribute'>2418</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'>framed-output.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:34:42 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'>1299368020</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='charset' flag='2' class='org.w3c.tools.resources.StringAttribute'>@@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'>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>
+    <array name='indexes' flag='2' class='org.w3c.tools.resources.StringArrayAttribute' length='0'>
+    </array>
+    <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:34:42 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'>Wed, 25 Mar 1998 12:51:41 GMT</attribute>
+  <attribute name='file-length' flag='1' class='org.w3c.tools.resources.IntegerAttribute'>1833</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'>writing-frames.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:34:39 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'>1162189679</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='charset' flag='2' class='org.w3c.tools.resources.StringAttribute'>@@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'>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>
+    <array name='indexes' flag='2' class='org.w3c.tools.resources.StringArrayAttribute' length='0'>
+    </array>
+    <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:34:39 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, 06 Apr 1998 11:44:12 GMT</attribute>
+  <attribute name='file-length' flag='1' class='org.w3c.tools.resources.IntegerAttribute'>33089</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'>design.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'>Thu, 17 Jun 2010 06:20:39 GMT</attribute>
+    <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>
+    <attribute name='oid' flag='1' class='org.w3c.tools.resources.IntegerAttribute'>1815990677</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='charset' flag='2' class='org.w3c.tools.resources.StringAttribute'>@@NULL@@</attribute>
+    <attribute name='content-length' flag='1' class='org.w3c.tools.resources.IntegerAttribute'>16539</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>
+    <array name='indexes' flag='2' class='org.w3c.tools.resources.StringArrayAttribute' length='0'>
+    </array>
+    <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'>Thu, 17 Jun 2010 06:20:39 GMT</attribute>
+  <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>
+  <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, 15 Jun 2010 08:19:43 GMT</attribute>
+  <attribute name='file-length' flag='1' class='org.w3c.tools.resources.IntegerAttribute'>16539</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'>writing-resources.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:34: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'>514768387</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='charset' flag='2' class='org.w3c.tools.resources.StringAttribute'>@@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'>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>
+    <array name='indexes' flag='2' class='org.w3c.tools.resources.StringArrayAttribute' length='0'>
+    </array>
+    <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:34:33 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, 06 Apr 1998 11:44:22 GMT</attribute>
+  <attribute name='file-length' flag='1' class='org.w3c.tools.resources.IntegerAttribute'>20839</attribute>
+  <attribute name='backup' flag='2' class='org.w3c.tools.resources.BooleanAttribute'>false</attribute>
+ </resource>
+ <resource class='org.w3c.jigsaw.resources.DirectoryResource'>
+  <attribute name='identifier' flag='6' class='org.w3c.tools.resources.StringAttribute'>api</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:18:03 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'>text/plain</attribute>
+    <attribute name='charset' flag='2' class='org.w3c.tools.resources.StringAttribute'>@@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'>dir.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'>Overview.html</attribute>
+    <array name='indexes' flag='2' class='org.w3c.tools.resources.StringArrayAttribute' length='0'>
+    </array>
+    <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'>/style/directory.css</attribute>
+   </resource>
+  </resourcearray>
+  <attribute name='last-modified' flag='3' class='org.w3c.tools.resources.DateAttribute'>Wed, 08 Apr 1998 08:34:27 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='key' flag='1' class='org.w3c.tools.resources.IntegerAttribute'>-1328601127</attribute>
+  <attribute name='dirstamp' flag='1' class='org.w3c.tools.resources.DateAttribute'>@@NULL@@</attribute>
+  <attribute name='indexer' flag='2' class='org.w3c.tools.resources.StringAttribute'>@@NULL@@</attribute>
+  <attribute name='extensible' flag='2' class='org.w3c.tools.resources.BooleanAttribute'>true</attribute>
+  <attribute name='shrinkable' flag='2' class='org.w3c.tools.resources.BooleanAttribute'>true</attribute>
+  <attribute name='negotiable' 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'>style-font-lock.css</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:34:33 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'>422438571</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'>Style sheet</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/css</attribute>
+    <attribute name='charset' flag='2' class='org.w3c.tools.resources.StringAttribute'>@@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'>text.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>
+    <array name='indexes' flag='2' class='org.w3c.tools.resources.StringArrayAttribute' length='0'>
+    </array>
+    <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:34:33 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'>Wed, 25 Mar 1998 12:05:03 GMT</attribute>
+  <attribute name='file-length' flag='1' class='org.w3c.tools.resources.IntegerAttribute'>688</attribute>
+  <attribute name='backup' flag='2' class='org.w3c.tools.resources.BooleanAttribute'>false</attribute>
+ </resource>
+ <resource class='org.w3c.jigsaw.resources.DirectoryResource'>
+  <attribute name='identifier' flag='6' class='org.w3c.tools.resources.StringAttribute'>samples</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:18:03 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'>text/plain</attribute>
+    <attribute name='charset' flag='2' class='org.w3c.tools.resources.StringAttribute'>@@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'>dir.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'>Overview.html</attribute>
+    <array name='indexes' flag='2' class='org.w3c.tools.resources.StringArrayAttribute' length='0'>
+    </array>
+    <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'>/style/directory.css</attribute>
+   </resource>
+  </resourcearray>
+  <attribute name='last-modified' flag='3' class='org.w3c.tools.resources.DateAttribute'>Wed, 08 Apr 1998 08:34:50 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='key' flag='1' class='org.w3c.tools.resources.IntegerAttribute'>-528243304</attribute>
+  <attribute name='dirstamp' flag='1' class='org.w3c.tools.resources.DateAttribute'>@@NULL@@</attribute>
+  <attribute name='indexer' flag='2' class='org.w3c.tools.resources.StringAttribute'>@@NULL@@</attribute>
+  <attribute name='extensible' flag='2' class='org.w3c.tools.resources.BooleanAttribute'>true</attribute>
+  <attribute name='shrinkable' flag='2' class='org.w3c.tools.resources.BooleanAttribute'>true</attribute>
+  <attribute name='negotiable' 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'>file-output.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:34:41 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'>1037389898</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='charset' flag='2' class='org.w3c.tools.resources.StringAttribute'>@@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'>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>
+    <array name='indexes' flag='2' class='org.w3c.tools.resources.StringArrayAttribute' length='0'>
+    </array>
+    <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:34:41 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'>Wed, 25 Mar 1998 12:52:23 GMT</attribute>
+  <attribute name='file-length' flag='1' class='org.w3c.tools.resources.IntegerAttribute'>2427</attribute>
+  <attribute name='backup' flag='2' class='org.w3c.tools.resources.BooleanAttribute'>false</attribute>
+ </resource>
+</jigxml>