<?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'>ServerEditorFactory.html</attribute>
  <resourcearray name='frames' class='org.w3c.tools.resources.FrameArrayAttribute' length='1'>
   <resource class='org.w3c.jigsaw.webdav.DAVFrame'>
    <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, 23 Nov 2000 15:18:21 GMT</attribute>
    <attribute name='help-url' flag='1' class='org.w3c.tools.resources.StringAttribute'>http://ender.inria.fr:8001/Doc/Reference/org.w3c.jigsaw.webdav.DAVFrame.html</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'> </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'>true</attribute>
    <attribute name='putable' flag='2' class='org.w3c.tools.resources.BooleanAttribute'>true</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>
    <attribute name='override' flag='2' class='org.w3c.tools.resources.BooleanAttribute'>false</attribute>
    <attribute name='convert-get' flag='2' class='org.w3c.tools.resources.BooleanAttribute'>true</attribute>
    <attribute name='creation-date' flag='1' class='org.w3c.tools.resources.DateAttribute'>Thu, 23 Nov 2000 14:32:24 GMT</attribute>
    <array name='dead-properties' flag='1' class='org.w3c.tools.resources.PropertiesAttribute' length='0'>
    </array>
    <attribute name='lock-token' flag='1' class='org.w3c.tools.resources.StringAttribute'>@@NULL@@</attribute>
    <attribute name='lock-timeout' flag='1' class='org.w3c.tools.resources.DateAttribute'>@@NULL@@</attribute>
    <attribute name='lock-date' flag='1' class='org.w3c.tools.resources.DateAttribute'>@@NULL@@</attribute>
    <attribute name='lock-depth' flag='1' class='org.w3c.tools.resources.IntegerAttribute'>@@NULL@@</attribute>
    <attribute name='lock-owner' flag='1' class='org.w3c.tools.resources.StringAttribute'>@@NULL@@</attribute>
    <attribute name='lock-username' flag='1' class='org.w3c.tools.resources.StringAttribute'>@@NULL@@</attribute>
   </resource>
  </resourcearray>
  <attribute name='last-modified' flag='3' class='org.w3c.tools.resources.DateAttribute'>Thu, 23 Nov 2000 15:18:46 GMT</attribute>
  <attribute name='help-url' flag='1' class='org.w3c.tools.resources.StringAttribute'>http://ender.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'>ServerEditorFactory.html</attribute>
  <attribute name='file-stamp' flag='1' class='org.w3c.tools.resources.DateAttribute'>Wed, 31 Dec 1969 23:59:59 GMT</attribute>
  <attribute name='file-length' flag='1' class='org.w3c.tools.resources.IntegerAttribute'>@@NULL@@</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'>ResourceTreeUI.html</attribute>
  <resourcearray name='frames' class='org.w3c.tools.resources.FrameArrayAttribute' length='1'>
   <resource class='org.w3c.jigsaw.webdav.DAVFrame'>
    <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, 23 Nov 2000 15:18:21 GMT</attribute>
    <attribute name='help-url' flag='1' class='org.w3c.tools.resources.StringAttribute'>http://ender.inria.fr:8001/Doc/Reference/org.w3c.jigsaw.webdav.DAVFrame.html</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'> </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'>true</attribute>
    <attribute name='putable' flag='2' class='org.w3c.tools.resources.BooleanAttribute'>true</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>
    <attribute name='override' flag='2' class='org.w3c.tools.resources.BooleanAttribute'>false</attribute>
    <attribute name='convert-get' flag='2' class='org.w3c.tools.resources.BooleanAttribute'>true</attribute>
    <attribute name='creation-date' flag='1' class='org.w3c.tools.resources.DateAttribute'>Thu, 23 Nov 2000 14:32:24 GMT</attribute>
    <array name='dead-properties' flag='1' class='org.w3c.tools.resources.PropertiesAttribute' length='0'>
    </array>
    <attribute name='lock-token' flag='1' class='org.w3c.tools.resources.StringAttribute'>@@NULL@@</attribute>
    <attribute name='lock-timeout' flag='1' class='org.w3c.tools.resources.DateAttribute'>@@NULL@@</attribute>
    <attribute name='lock-date' flag='1' class='org.w3c.tools.resources.DateAttribute'>@@NULL@@</attribute>
    <attribute name='lock-depth' flag='1' class='org.w3c.tools.resources.IntegerAttribute'>@@NULL@@</attribute>
    <attribute name='lock-owner' flag='1' class='org.w3c.tools.resources.StringAttribute'>@@NULL@@</attribute>
    <attribute name='lock-username' flag='1' class='org.w3c.tools.resources.StringAttribute'>@@NULL@@</attribute>
   </resource>
  </resourcearray>
  <attribute name='last-modified' flag='3' class='org.w3c.tools.resources.DateAttribute'>Thu, 23 Nov 2000 15:18:46 GMT</attribute>
  <attribute name='help-url' flag='1' class='org.w3c.tools.resources.StringAttribute'>http://ender.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'>ResourceTreeUI.html</attribute>
  <attribute name='file-stamp' flag='1' class='org.w3c.tools.resources.DateAttribute'>Wed, 31 Dec 1969 23:59:59 GMT</attribute>
  <attribute name='file-length' flag='1' class='org.w3c.tools.resources.IntegerAttribute'>@@NULL@@</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'>ResourceHelper.html</attribute>
  <resourcearray name='frames' class='org.w3c.tools.resources.FrameArrayAttribute' length='1'>
   <resource class='org.w3c.jigsaw.webdav.DAVFrame'>
    <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, 23 Nov 2000 15:18:21 GMT</attribute>
    <attribute name='help-url' flag='1' class='org.w3c.tools.resources.StringAttribute'>http://ender.inria.fr:8001/Doc/Reference/org.w3c.jigsaw.webdav.DAVFrame.html</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'> </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'>true</attribute>
    <attribute name='putable' flag='2' class='org.w3c.tools.resources.BooleanAttribute'>true</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>
    <attribute name='override' flag='2' class='org.w3c.tools.resources.BooleanAttribute'>false</attribute>
    <attribute name='convert-get' flag='2' class='org.w3c.tools.resources.BooleanAttribute'>true</attribute>
    <attribute name='creation-date' flag='1' class='org.w3c.tools.resources.DateAttribute'>Thu, 23 Nov 2000 14:32:24 GMT</attribute>
    <array name='dead-properties' flag='1' class='org.w3c.tools.resources.PropertiesAttribute' length='0'>
    </array>
    <attribute name='lock-token' flag='1' class='org.w3c.tools.resources.StringAttribute'>@@NULL@@</attribute>
    <attribute name='lock-timeout' flag='1' class='org.w3c.tools.resources.DateAttribute'>@@NULL@@</attribute>
    <attribute name='lock-date' flag='1' class='org.w3c.tools.resources.DateAttribute'>@@NULL@@</attribute>
    <attribute name='lock-depth' flag='1' class='org.w3c.tools.resources.IntegerAttribute'>@@NULL@@</attribute>
    <attribute name='lock-owner' flag='1' class='org.w3c.tools.resources.StringAttribute'>@@NULL@@</attribute>
    <attribute name='lock-username' flag='1' class='org.w3c.tools.resources.StringAttribute'>@@NULL@@</attribute>
   </resource>
  </resourcearray>
  <attribute name='last-modified' flag='3' class='org.w3c.tools.resources.DateAttribute'>Thu, 23 Nov 2000 15:18:46 GMT</attribute>
  <attribute name='help-url' flag='1' class='org.w3c.tools.resources.StringAttribute'>http://ender.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'>ResourceHelper.html</attribute>
  <attribute name='file-stamp' flag='1' class='org.w3c.tools.resources.DateAttribute'>Wed, 31 Dec 1969 23:59:59 GMT</attribute>
  <attribute name='file-length' flag='1' class='org.w3c.tools.resources.IntegerAttribute'>@@NULL@@</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'>MiniBrowser.html</attribute>
  <resourcearray name='frames' class='org.w3c.tools.resources.FrameArrayAttribute' length='1'>
   <resource class='org.w3c.jigsaw.webdav.DAVFrame'>
    <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, 23 Nov 2000 15:18:21 GMT</attribute>
    <attribute name='help-url' flag='1' class='org.w3c.tools.resources.StringAttribute'>http://ender.inria.fr:8001/Doc/Reference/org.w3c.jigsaw.webdav.DAVFrame.html</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'> </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'>true</attribute>
    <attribute name='putable' flag='2' class='org.w3c.tools.resources.BooleanAttribute'>true</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>
    <attribute name='override' flag='2' class='org.w3c.tools.resources.BooleanAttribute'>false</attribute>
    <attribute name='convert-get' flag='2' class='org.w3c.tools.resources.BooleanAttribute'>true</attribute>
    <attribute name='creation-date' flag='1' class='org.w3c.tools.resources.DateAttribute'>Thu, 23 Nov 2000 14:32:24 GMT</attribute>
    <array name='dead-properties' flag='1' class='org.w3c.tools.resources.PropertiesAttribute' length='0'>
    </array>
    <attribute name='lock-token' flag='1' class='org.w3c.tools.resources.StringAttribute'>@@NULL@@</attribute>
    <attribute name='lock-timeout' flag='1' class='org.w3c.tools.resources.DateAttribute'>@@NULL@@</attribute>
    <attribute name='lock-date' flag='1' class='org.w3c.tools.resources.DateAttribute'>@@NULL@@</attribute>
    <attribute name='lock-depth' flag='1' class='org.w3c.tools.resources.IntegerAttribute'>@@NULL@@</attribute>
    <attribute name='lock-owner' flag='1' class='org.w3c.tools.resources.StringAttribute'>@@NULL@@</attribute>
    <attribute name='lock-username' flag='1' class='org.w3c.tools.resources.StringAttribute'>@@NULL@@</attribute>
   </resource>
  </resourcearray>
  <attribute name='last-modified' flag='3' class='org.w3c.tools.resources.DateAttribute'>Thu, 23 Nov 2000 15:18:46 GMT</attribute>
  <attribute name='help-url' flag='1' class='org.w3c.tools.resources.StringAttribute'>http://ender.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'>MiniBrowser.html</attribute>
  <attribute name='file-stamp' flag='1' class='org.w3c.tools.resources.DateAttribute'>Wed, 31 Dec 1969 23:59:59 GMT</attribute>
  <attribute name='file-length' flag='1' class='org.w3c.tools.resources.IntegerAttribute'>@@NULL@@</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'>ControlServerHelper.html</attribute>
  <resourcearray name='frames' class='org.w3c.tools.resources.FrameArrayAttribute' length='1'>
   <resource class='org.w3c.jigsaw.webdav.DAVFrame'>
    <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, 23 Nov 2000 15:18:21 GMT</attribute>
    <attribute name='help-url' flag='1' class='org.w3c.tools.resources.StringAttribute'>http://ender.inria.fr:8001/Doc/Reference/org.w3c.jigsaw.webdav.DAVFrame.html</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'> </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'>true</attribute>
    <attribute name='putable' flag='2' class='org.w3c.tools.resources.BooleanAttribute'>true</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>
    <attribute name='override' flag='2' class='org.w3c.tools.resources.BooleanAttribute'>false</attribute>
    <attribute name='convert-get' flag='2' class='org.w3c.tools.resources.BooleanAttribute'>true</attribute>
    <attribute name='creation-date' flag='1' class='org.w3c.tools.resources.DateAttribute'>Thu, 23 Nov 2000 14:32:24 GMT</attribute>
    <array name='dead-properties' flag='1' class='org.w3c.tools.resources.PropertiesAttribute' length='0'>
    </array>
    <attribute name='lock-token' flag='1' class='org.w3c.tools.resources.StringAttribute'>@@NULL@@</attribute>
    <attribute name='lock-timeout' flag='1' class='org.w3c.tools.resources.DateAttribute'>@@NULL@@</attribute>
    <attribute name='lock-date' flag='1' class='org.w3c.tools.resources.DateAttribute'>@@NULL@@</attribute>
    <attribute name='lock-depth' flag='1' class='org.w3c.tools.resources.IntegerAttribute'>@@NULL@@</attribute>
    <attribute name='lock-owner' flag='1' class='org.w3c.tools.resources.StringAttribute'>@@NULL@@</attribute>
    <attribute name='lock-username' flag='1' class='org.w3c.tools.resources.StringAttribute'>@@NULL@@</attribute>
   </resource>
  </resourcearray>
  <attribute name='last-modified' flag='3' class='org.w3c.tools.resources.DateAttribute'>Thu, 23 Nov 2000 15:18:46 GMT</attribute>
  <attribute name='help-url' flag='1' class='org.w3c.tools.resources.StringAttribute'>http://ender.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'>ControlServerHelper.html</attribute>
  <attribute name='file-stamp' flag='1' class='org.w3c.tools.resources.DateAttribute'>Wed, 31 Dec 1969 23:59:59 GMT</attribute>
  <attribute name='file-length' flag='1' class='org.w3c.tools.resources.IntegerAttribute'>@@NULL@@</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'>FramedResourceHelper.html</attribute>
  <resourcearray name='frames' class='org.w3c.tools.resources.FrameArrayAttribute' length='1'>
   <resource class='org.w3c.jigsaw.webdav.DAVFrame'>
    <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, 23 Nov 2000 15:18:21 GMT</attribute>
    <attribute name='help-url' flag='1' class='org.w3c.tools.resources.StringAttribute'>http://ender.inria.fr:8001/Doc/Reference/org.w3c.jigsaw.webdav.DAVFrame.html</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'> </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'>true</attribute>
    <attribute name='putable' flag='2' class='org.w3c.tools.resources.BooleanAttribute'>true</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>
    <attribute name='override' flag='2' class='org.w3c.tools.resources.BooleanAttribute'>false</attribute>
    <attribute name='convert-get' flag='2' class='org.w3c.tools.resources.BooleanAttribute'>true</attribute>
    <attribute name='creation-date' flag='1' class='org.w3c.tools.resources.DateAttribute'>Thu, 23 Nov 2000 14:32:24 GMT</attribute>
    <array name='dead-properties' flag='1' class='org.w3c.tools.resources.PropertiesAttribute' length='0'>
    </array>
    <attribute name='lock-token' flag='1' class='org.w3c.tools.resources.StringAttribute'>@@NULL@@</attribute>
    <attribute name='lock-timeout' flag='1' class='org.w3c.tools.resources.DateAttribute'>@@NULL@@</attribute>
    <attribute name='lock-date' flag='1' class='org.w3c.tools.resources.DateAttribute'>@@NULL@@</attribute>
    <attribute name='lock-depth' flag='1' class='org.w3c.tools.resources.IntegerAttribute'>@@NULL@@</attribute>
    <attribute name='lock-owner' flag='1' class='org.w3c.tools.resources.StringAttribute'>@@NULL@@</attribute>
    <attribute name='lock-username' flag='1' class='org.w3c.tools.resources.StringAttribute'>@@NULL@@</attribute>
   </resource>
  </resourcearray>
  <attribute name='last-modified' flag='3' class='org.w3c.tools.resources.DateAttribute'>Thu, 23 Nov 2000 15:18:46 GMT</attribute>
  <attribute name='help-url' flag='1' class='org.w3c.tools.resources.StringAttribute'>http://ender.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'>FramedResourceHelper.html</attribute>
  <attribute name='file-stamp' flag='1' class='org.w3c.tools.resources.DateAttribute'>Wed, 31 Dec 1969 23:59:59 GMT</attribute>
  <attribute name='file-length' flag='1' class='org.w3c.tools.resources.IntegerAttribute'>@@NULL@@</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'>AddFramePanel.html</attribute>
  <resourcearray name='frames' class='org.w3c.tools.resources.FrameArrayAttribute' length='1'>
   <resource class='org.w3c.jigsaw.webdav.DAVFrame'>
    <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, 23 Nov 2000 15:18:21 GMT</attribute>
    <attribute name='help-url' flag='1' class='org.w3c.tools.resources.StringAttribute'>http://ender.inria.fr:8001/Doc/Reference/org.w3c.jigsaw.webdav.DAVFrame.html</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'> </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'>true</attribute>
    <attribute name='putable' flag='2' class='org.w3c.tools.resources.BooleanAttribute'>true</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>
    <attribute name='override' flag='2' class='org.w3c.tools.resources.BooleanAttribute'>false</attribute>
    <attribute name='convert-get' flag='2' class='org.w3c.tools.resources.BooleanAttribute'>true</attribute>
    <attribute name='creation-date' flag='1' class='org.w3c.tools.resources.DateAttribute'>Thu, 23 Nov 2000 14:32:24 GMT</attribute>
    <array name='dead-properties' flag='1' class='org.w3c.tools.resources.PropertiesAttribute' length='0'>
    </array>
    <attribute name='lock-token' flag='1' class='org.w3c.tools.resources.StringAttribute'>@@NULL@@</attribute>
    <attribute name='lock-timeout' flag='1' class='org.w3c.tools.resources.DateAttribute'>@@NULL@@</attribute>
    <attribute name='lock-date' flag='1' class='org.w3c.tools.resources.DateAttribute'>@@NULL@@</attribute>
    <attribute name='lock-depth' flag='1' class='org.w3c.tools.resources.IntegerAttribute'>@@NULL@@</attribute>
    <attribute name='lock-owner' flag='1' class='org.w3c.tools.resources.StringAttribute'>@@NULL@@</attribute>
    <attribute name='lock-username' flag='1' class='org.w3c.tools.resources.StringAttribute'>@@NULL@@</attribute>
   </resource>
  </resourcearray>
  <attribute name='last-modified' flag='3' class='org.w3c.tools.resources.DateAttribute'>Thu, 23 Nov 2000 15:18:46 GMT</attribute>
  <attribute name='help-url' flag='1' class='org.w3c.tools.resources.StringAttribute'>http://ender.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'>AddFramePanel.html</attribute>
  <attribute name='file-stamp' flag='1' class='org.w3c.tools.resources.DateAttribute'>Wed, 31 Dec 1969 23:59:59 GMT</attribute>
  <attribute name='file-length' flag='1' class='org.w3c.tools.resources.IntegerAttribute'>@@NULL@@</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'>EditorInterface.html</attribute>
  <resourcearray name='frames' class='org.w3c.tools.resources.FrameArrayAttribute' length='1'>
   <resource class='org.w3c.jigsaw.webdav.DAVFrame'>
    <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, 23 Nov 2000 15:18:21 GMT</attribute>
    <attribute name='help-url' flag='1' class='org.w3c.tools.resources.StringAttribute'>http://ender.inria.fr:8001/Doc/Reference/org.w3c.jigsaw.webdav.DAVFrame.html</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'> </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'>true</attribute>
    <attribute name='putable' flag='2' class='org.w3c.tools.resources.BooleanAttribute'>true</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>
    <attribute name='override' flag='2' class='org.w3c.tools.resources.BooleanAttribute'>false</attribute>
    <attribute name='convert-get' flag='2' class='org.w3c.tools.resources.BooleanAttribute'>true</attribute>
    <attribute name='creation-date' flag='1' class='org.w3c.tools.resources.DateAttribute'>Thu, 23 Nov 2000 14:32:24 GMT</attribute>
    <array name='dead-properties' flag='1' class='org.w3c.tools.resources.PropertiesAttribute' length='0'>
    </array>
    <attribute name='lock-token' flag='1' class='org.w3c.tools.resources.StringAttribute'>@@NULL@@</attribute>
    <attribute name='lock-timeout' flag='1' class='org.w3c.tools.resources.DateAttribute'>@@NULL@@</attribute>
    <attribute name='lock-date' flag='1' class='org.w3c.tools.resources.DateAttribute'>@@NULL@@</attribute>
    <attribute name='lock-depth' flag='1' class='org.w3c.tools.resources.IntegerAttribute'>@@NULL@@</attribute>
    <attribute name='lock-owner' flag='1' class='org.w3c.tools.resources.StringAttribute'>@@NULL@@</attribute>
    <attribute name='lock-username' flag='1' class='org.w3c.tools.resources.StringAttribute'>@@NULL@@</attribute>
   </resource>
  </resourcearray>
  <attribute name='last-modified' flag='3' class='org.w3c.tools.resources.DateAttribute'>Thu, 23 Nov 2000 15:18:46 GMT</attribute>
  <attribute name='help-url' flag='1' class='org.w3c.tools.resources.StringAttribute'>http://ender.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'>EditorInterface.html</attribute>
  <attribute name='file-stamp' flag='1' class='org.w3c.tools.resources.DateAttribute'>Wed, 31 Dec 1969 23:59:59 GMT</attribute>
  <attribute name='file-length' flag='1' class='org.w3c.tools.resources.IntegerAttribute'>@@NULL@@</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'>ServerEditorInterface.html</attribute>
  <resourcearray name='frames' class='org.w3c.tools.resources.FrameArrayAttribute' length='1'>
   <resource class='org.w3c.jigsaw.webdav.DAVFrame'>
    <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, 23 Nov 2000 15:18:21 GMT</attribute>
    <attribute name='help-url' flag='1' class='org.w3c.tools.resources.StringAttribute'>http://ender.inria.fr:8001/Doc/Reference/org.w3c.jigsaw.webdav.DAVFrame.html</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'> </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'>true</attribute>
    <attribute name='putable' flag='2' class='org.w3c.tools.resources.BooleanAttribute'>true</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>
    <attribute name='override' flag='2' class='org.w3c.tools.resources.BooleanAttribute'>false</attribute>
    <attribute name='convert-get' flag='2' class='org.w3c.tools.resources.BooleanAttribute'>true</attribute>
    <attribute name='creation-date' flag='1' class='org.w3c.tools.resources.DateAttribute'>Thu, 23 Nov 2000 14:32:24 GMT</attribute>
    <array name='dead-properties' flag='1' class='org.w3c.tools.resources.PropertiesAttribute' length='0'>
    </array>
    <attribute name='lock-token' flag='1' class='org.w3c.tools.resources.StringAttribute'>@@NULL@@</attribute>
    <attribute name='lock-timeout' flag='1' class='org.w3c.tools.resources.DateAttribute'>@@NULL@@</attribute>
    <attribute name='lock-date' flag='1' class='org.w3c.tools.resources.DateAttribute'>@@NULL@@</attribute>
    <attribute name='lock-depth' flag='1' class='org.w3c.tools.resources.IntegerAttribute'>@@NULL@@</attribute>
    <attribute name='lock-owner' flag='1' class='org.w3c.tools.resources.StringAttribute'>@@NULL@@</attribute>
    <attribute name='lock-username' flag='1' class='org.w3c.tools.resources.StringAttribute'>@@NULL@@</attribute>
   </resource>
  </resourcearray>
  <attribute name='last-modified' flag='3' class='org.w3c.tools.resources.DateAttribute'>Thu, 23 Nov 2000 15:18:46 GMT</attribute>
  <attribute name='help-url' flag='1' class='org.w3c.tools.resources.StringAttribute'>http://ender.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'>ServerEditorInterface.html</attribute>
  <attribute name='file-stamp' flag='1' class='org.w3c.tools.resources.DateAttribute'>Wed, 31 Dec 1969 23:59:59 GMT</attribute>
  <attribute name='file-length' flag='1' class='org.w3c.tools.resources.IntegerAttribute'>@@NULL@@</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'>AttributesHelper.html</attribute>
  <resourcearray name='frames' class='org.w3c.tools.resources.FrameArrayAttribute' length='1'>
   <resource class='org.w3c.jigsaw.webdav.DAVFrame'>
    <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, 23 Nov 2000 15:18:21 GMT</attribute>
    <attribute name='help-url' flag='1' class='org.w3c.tools.resources.StringAttribute'>http://ender.inria.fr:8001/Doc/Reference/org.w3c.jigsaw.webdav.DAVFrame.html</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'> </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'>true</attribute>
    <attribute name='putable' flag='2' class='org.w3c.tools.resources.BooleanAttribute'>true</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>
    <attribute name='override' flag='2' class='org.w3c.tools.resources.BooleanAttribute'>false</attribute>
    <attribute name='convert-get' flag='2' class='org.w3c.tools.resources.BooleanAttribute'>true</attribute>
    <attribute name='creation-date' flag='1' class='org.w3c.tools.resources.DateAttribute'>Thu, 23 Nov 2000 14:32:24 GMT</attribute>
    <array name='dead-properties' flag='1' class='org.w3c.tools.resources.PropertiesAttribute' length='0'>
    </array>
    <attribute name='lock-token' flag='1' class='org.w3c.tools.resources.StringAttribute'>@@NULL@@</attribute>
    <attribute name='lock-timeout' flag='1' class='org.w3c.tools.resources.DateAttribute'>@@NULL@@</attribute>
    <attribute name='lock-date' flag='1' class='org.w3c.tools.resources.DateAttribute'>@@NULL@@</attribute>
    <attribute name='lock-depth' flag='1' class='org.w3c.tools.resources.IntegerAttribute'>@@NULL@@</attribute>
    <attribute name='lock-owner' flag='1' class='org.w3c.tools.resources.StringAttribute'>@@NULL@@</attribute>
    <attribute name='lock-username' flag='1' class='org.w3c.tools.resources.StringAttribute'>@@NULL@@</attribute>
   </resource>
  </resourcearray>
  <attribute name='last-modified' flag='3' class='org.w3c.tools.resources.DateAttribute'>Thu, 23 Nov 2000 15:18:46 GMT</attribute>
  <attribute name='help-url' flag='1' class='org.w3c.tools.resources.StringAttribute'>http://ender.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'>AttributesHelper.html</attribute>
  <attribute name='file-stamp' flag='1' class='org.w3c.tools.resources.DateAttribute'>Wed, 31 Dec 1969 23:59:59 GMT</attribute>
  <attribute name='file-length' flag='1' class='org.w3c.tools.resources.IntegerAttribute'>@@NULL@@</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'>ResourceTreeBrowser.html</attribute>
  <resourcearray name='frames' class='org.w3c.tools.resources.FrameArrayAttribute' length='1'>
   <resource class='org.w3c.jigsaw.webdav.DAVFrame'>
    <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, 23 Nov 2000 15:18:21 GMT</attribute>
    <attribute name='help-url' flag='1' class='org.w3c.tools.resources.StringAttribute'>http://ender.inria.fr:8001/Doc/Reference/org.w3c.jigsaw.webdav.DAVFrame.html</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'> </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'>true</attribute>
    <attribute name='putable' flag='2' class='org.w3c.tools.resources.BooleanAttribute'>true</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>
    <attribute name='override' flag='2' class='org.w3c.tools.resources.BooleanAttribute'>false</attribute>
    <attribute name='convert-get' flag='2' class='org.w3c.tools.resources.BooleanAttribute'>true</attribute>
    <attribute name='creation-date' flag='1' class='org.w3c.tools.resources.DateAttribute'>Thu, 23 Nov 2000 14:32:24 GMT</attribute>
    <array name='dead-properties' flag='1' class='org.w3c.tools.resources.PropertiesAttribute' length='0'>
    </array>
    <attribute name='lock-token' flag='1' class='org.w3c.tools.resources.StringAttribute'>@@NULL@@</attribute>
    <attribute name='lock-timeout' flag='1' class='org.w3c.tools.resources.DateAttribute'>@@NULL@@</attribute>
    <attribute name='lock-date' flag='1' class='org.w3c.tools.resources.DateAttribute'>@@NULL@@</attribute>
    <attribute name='lock-depth' flag='1' class='org.w3c.tools.resources.IntegerAttribute'>@@NULL@@</attribute>
    <attribute name='lock-owner' flag='1' class='org.w3c.tools.resources.StringAttribute'>@@NULL@@</attribute>
    <attribute name='lock-username' flag='1' class='org.w3c.tools.resources.StringAttribute'>@@NULL@@</attribute>
   </resource>
  </resourcearray>
  <attribute name='last-modified' flag='3' class='org.w3c.tools.resources.DateAttribute'>Thu, 23 Nov 2000 15:18:46 GMT</attribute>
  <attribute name='help-url' flag='1' class='org.w3c.tools.resources.StringAttribute'>http://ender.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'>ResourceTreeBrowser.html</attribute>
  <attribute name='file-stamp' flag='1' class='org.w3c.tools.resources.DateAttribute'>Wed, 31 Dec 1969 23:59:59 GMT</attribute>
  <attribute name='file-length' flag='1' class='org.w3c.tools.resources.IntegerAttribute'>@@NULL@@</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'>ResourceCellRenderer.html</attribute>
  <resourcearray name='frames' class='org.w3c.tools.resources.FrameArrayAttribute' length='1'>
   <resource class='org.w3c.jigsaw.webdav.DAVFrame'>
    <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, 23 Nov 2000 15:18:21 GMT</attribute>
    <attribute name='help-url' flag='1' class='org.w3c.tools.resources.StringAttribute'>http://ender.inria.fr:8001/Doc/Reference/org.w3c.jigsaw.webdav.DAVFrame.html</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'> </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'>true</attribute>
    <attribute name='putable' flag='2' class='org.w3c.tools.resources.BooleanAttribute'>true</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>
    <attribute name='override' flag='2' class='org.w3c.tools.resources.BooleanAttribute'>false</attribute>
    <attribute name='convert-get' flag='2' class='org.w3c.tools.resources.BooleanAttribute'>true</attribute>
    <attribute name='creation-date' flag='1' class='org.w3c.tools.resources.DateAttribute'>Thu, 23 Nov 2000 14:32:24 GMT</attribute>
    <array name='dead-properties' flag='1' class='org.w3c.tools.resources.PropertiesAttribute' length='0'>
    </array>
    <attribute name='lock-token' flag='1' class='org.w3c.tools.resources.StringAttribute'>@@NULL@@</attribute>
    <attribute name='lock-timeout' flag='1' class='org.w3c.tools.resources.DateAttribute'>@@NULL@@</attribute>
    <attribute name='lock-date' flag='1' class='org.w3c.tools.resources.DateAttribute'>@@NULL@@</attribute>
    <attribute name='lock-depth' flag='1' class='org.w3c.tools.resources.IntegerAttribute'>@@NULL@@</attribute>
    <attribute name='lock-owner' flag='1' class='org.w3c.tools.resources.StringAttribute'>@@NULL@@</attribute>
    <attribute name='lock-username' flag='1' class='org.w3c.tools.resources.StringAttribute'>@@NULL@@</attribute>
   </resource>
  </resourcearray>
  <attribute name='last-modified' flag='3' class='org.w3c.tools.resources.DateAttribute'>Thu, 23 Nov 2000 15:18:46 GMT</attribute>
  <attribute name='help-url' flag='1' class='org.w3c.tools.resources.StringAttribute'>http://ender.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'>ResourceCellRenderer.html</attribute>
  <attribute name='file-stamp' flag='1' class='org.w3c.tools.resources.DateAttribute'>Wed, 31 Dec 1969 23:59:59 GMT</attribute>
  <attribute name='file-length' flag='1' class='org.w3c.tools.resources.IntegerAttribute'>@@NULL@@</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'>ServerHelperInterface.html</attribute>
  <resourcearray name='frames' class='org.w3c.tools.resources.FrameArrayAttribute' length='1'>
   <resource class='org.w3c.jigsaw.webdav.DAVFrame'>
    <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, 23 Nov 2000 15:18:21 GMT</attribute>
    <attribute name='help-url' flag='1' class='org.w3c.tools.resources.StringAttribute'>http://ender.inria.fr:8001/Doc/Reference/org.w3c.jigsaw.webdav.DAVFrame.html</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'> </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'>true</attribute>
    <attribute name='putable' flag='2' class='org.w3c.tools.resources.BooleanAttribute'>true</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>
    <attribute name='override' flag='2' class='org.w3c.tools.resources.BooleanAttribute'>false</attribute>
    <attribute name='convert-get' flag='2' class='org.w3c.tools.resources.BooleanAttribute'>true</attribute>
    <attribute name='creation-date' flag='1' class='org.w3c.tools.resources.DateAttribute'>Thu, 23 Nov 2000 14:32:24 GMT</attribute>
    <array name='dead-properties' flag='1' class='org.w3c.tools.resources.PropertiesAttribute' length='0'>
    </array>
    <attribute name='lock-token' flag='1' class='org.w3c.tools.resources.StringAttribute'>@@NULL@@</attribute>
    <attribute name='lock-timeout' flag='1' class='org.w3c.tools.resources.DateAttribute'>@@NULL@@</attribute>
    <attribute name='lock-date' flag='1' class='org.w3c.tools.resources.DateAttribute'>@@NULL@@</attribute>
    <attribute name='lock-depth' flag='1' class='org.w3c.tools.resources.IntegerAttribute'>@@NULL@@</attribute>
    <attribute name='lock-owner' flag='1' class='org.w3c.tools.resources.StringAttribute'>@@NULL@@</attribute>
    <attribute name='lock-username' flag='1' class='org.w3c.tools.resources.StringAttribute'>@@NULL@@</attribute>
   </resource>
  </resourcearray>
  <attribute name='last-modified' flag='3' class='org.w3c.tools.resources.DateAttribute'>Thu, 23 Nov 2000 15:18:46 GMT</attribute>
  <attribute name='help-url' flag='1' class='org.w3c.tools.resources.StringAttribute'>http://ender.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'>ServerHelperInterface.html</attribute>
  <attribute name='file-stamp' flag='1' class='org.w3c.tools.resources.DateAttribute'>Wed, 31 Dec 1969 23:59:59 GMT</attribute>
  <attribute name='file-length' flag='1' class='org.w3c.tools.resources.IntegerAttribute'>@@NULL@@</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'>ResourceIndexFeeder.html</attribute>
  <resourcearray name='frames' class='org.w3c.tools.resources.FrameArrayAttribute' length='1'>
   <resource class='org.w3c.jigsaw.webdav.DAVFrame'>
    <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, 23 Nov 2000 15:18:21 GMT</attribute>
    <attribute name='help-url' flag='1' class='org.w3c.tools.resources.StringAttribute'>http://ender.inria.fr:8001/Doc/Reference/org.w3c.jigsaw.webdav.DAVFrame.html</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'> </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'>true</attribute>
    <attribute name='putable' flag='2' class='org.w3c.tools.resources.BooleanAttribute'>true</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>
    <attribute name='override' flag='2' class='org.w3c.tools.resources.BooleanAttribute'>false</attribute>
    <attribute name='convert-get' flag='2' class='org.w3c.tools.resources.BooleanAttribute'>true</attribute>
    <attribute name='creation-date' flag='1' class='org.w3c.tools.resources.DateAttribute'>Thu, 23 Nov 2000 14:32:24 GMT</attribute>
    <array name='dead-properties' flag='1' class='org.w3c.tools.resources.PropertiesAttribute' length='0'>
    </array>
    <attribute name='lock-token' flag='1' class='org.w3c.tools.resources.StringAttribute'>@@NULL@@</attribute>
    <attribute name='lock-timeout' flag='1' class='org.w3c.tools.resources.DateAttribute'>@@NULL@@</attribute>
    <attribute name='lock-date' flag='1' class='org.w3c.tools.resources.DateAttribute'>@@NULL@@</attribute>
    <attribute name='lock-depth' flag='1' class='org.w3c.tools.resources.IntegerAttribute'>@@NULL@@</attribute>
    <attribute name='lock-owner' flag='1' class='org.w3c.tools.resources.StringAttribute'>@@NULL@@</attribute>
    <attribute name='lock-username' flag='1' class='org.w3c.tools.resources.StringAttribute'>@@NULL@@</attribute>
   </resource>
  </resourcearray>
  <attribute name='last-modified' flag='3' class='org.w3c.tools.resources.DateAttribute'>Thu, 23 Nov 2000 15:18:46 GMT</attribute>
  <attribute name='help-url' flag='1' class='org.w3c.tools.resources.StringAttribute'>http://ender.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'>ResourceIndexFeeder.html</attribute>
  <attribute name='file-stamp' flag='1' class='org.w3c.tools.resources.DateAttribute'>Wed, 31 Dec 1969 23:59:59 GMT</attribute>
  <attribute name='file-length' flag='1' class='org.w3c.tools.resources.IntegerAttribute'>@@NULL@@</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'>ServerHelperFactory.html</attribute>
  <resourcearray name='frames' class='org.w3c.tools.resources.FrameArrayAttribute' length='1'>
   <resource class='org.w3c.jigsaw.webdav.DAVFrame'>
    <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, 23 Nov 2000 15:18:21 GMT</attribute>
    <attribute name='help-url' flag='1' class='org.w3c.tools.resources.StringAttribute'>http://ender.inria.fr:8001/Doc/Reference/org.w3c.jigsaw.webdav.DAVFrame.html</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'> </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'>true</attribute>
    <attribute name='putable' flag='2' class='org.w3c.tools.resources.BooleanAttribute'>true</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>
    <attribute name='override' flag='2' class='org.w3c.tools.resources.BooleanAttribute'>false</attribute>
    <attribute name='convert-get' flag='2' class='org.w3c.tools.resources.BooleanAttribute'>true</attribute>
    <attribute name='creation-date' flag='1' class='org.w3c.tools.resources.DateAttribute'>Thu, 23 Nov 2000 14:32:24 GMT</attribute>
    <array name='dead-properties' flag='1' class='org.w3c.tools.resources.PropertiesAttribute' length='0'>
    </array>
    <attribute name='lock-token' flag='1' class='org.w3c.tools.resources.StringAttribute'>@@NULL@@</attribute>
    <attribute name='lock-timeout' flag='1' class='org.w3c.tools.resources.DateAttribute'>@@NULL@@</attribute>
    <attribute name='lock-date' flag='1' class='org.w3c.tools.resources.DateAttribute'>@@NULL@@</attribute>
    <attribute name='lock-depth' flag='1' class='org.w3c.tools.resources.IntegerAttribute'>@@NULL@@</attribute>
    <attribute name='lock-owner' flag='1' class='org.w3c.tools.resources.StringAttribute'>@@NULL@@</attribute>
    <attribute name='lock-username' flag='1' class='org.w3c.tools.resources.StringAttribute'>@@NULL@@</attribute>
   </resource>
  </resourcearray>
  <attribute name='last-modified' flag='3' class='org.w3c.tools.resources.DateAttribute'>Thu, 23 Nov 2000 15:18:46 GMT</attribute>
  <attribute name='help-url' flag='1' class='org.w3c.tools.resources.StringAttribute'>http://ender.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'>ServerHelperFactory.html</attribute>
  <attribute name='file-stamp' flag='1' class='org.w3c.tools.resources.DateAttribute'>Wed, 31 Dec 1969 23:59:59 GMT</attribute>
  <attribute name='file-length' flag='1' class='org.w3c.tools.resources.IntegerAttribute'>@@NULL@@</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'>RemoteNode.html</attribute>
  <resourcearray name='frames' class='org.w3c.tools.resources.FrameArrayAttribute' length='1'>
   <resource class='org.w3c.jigsaw.webdav.DAVFrame'>
    <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, 23 Nov 2000 15:18:21 GMT</attribute>
    <attribute name='help-url' flag='1' class='org.w3c.tools.resources.StringAttribute'>http://ender.inria.fr:8001/Doc/Reference/org.w3c.jigsaw.webdav.DAVFrame.html</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'> </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'>true</attribute>
    <attribute name='putable' flag='2' class='org.w3c.tools.resources.BooleanAttribute'>true</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>
    <attribute name='override' flag='2' class='org.w3c.tools.resources.BooleanAttribute'>false</attribute>
    <attribute name='convert-get' flag='2' class='org.w3c.tools.resources.BooleanAttribute'>true</attribute>
    <attribute name='creation-date' flag='1' class='org.w3c.tools.resources.DateAttribute'>Thu, 23 Nov 2000 14:32:24 GMT</attribute>
    <array name='dead-properties' flag='1' class='org.w3c.tools.resources.PropertiesAttribute' length='0'>
    </array>
    <attribute name='lock-token' flag='1' class='org.w3c.tools.resources.StringAttribute'>@@NULL@@</attribute>
    <attribute name='lock-timeout' flag='1' class='org.w3c.tools.resources.DateAttribute'>@@NULL@@</attribute>
    <attribute name='lock-date' flag='1' class='org.w3c.tools.resources.DateAttribute'>@@NULL@@</attribute>
    <attribute name='lock-depth' flag='1' class='org.w3c.tools.resources.IntegerAttribute'>@@NULL@@</attribute>
    <attribute name='lock-owner' flag='1' class='org.w3c.tools.resources.StringAttribute'>@@NULL@@</attribute>
    <attribute name='lock-username' flag='1' class='org.w3c.tools.resources.StringAttribute'>@@NULL@@</attribute>
   </resource>
  </resourcearray>
  <attribute name='last-modified' flag='3' class='org.w3c.tools.resources.DateAttribute'>Thu, 23 Nov 2000 15:18:46 GMT</attribute>
  <attribute name='help-url' flag='1' class='org.w3c.tools.resources.StringAttribute'>http://ender.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'>RemoteNode.html</attribute>
  <attribute name='file-stamp' flag='1' class='org.w3c.tools.resources.DateAttribute'>Wed, 31 Dec 1969 23:59:59 GMT</attribute>
  <attribute name='file-length' flag='1' class='org.w3c.tools.resources.IntegerAttribute'>@@NULL@@</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'>package-frame.html</attribute>
  <resourcearray name='frames' class='org.w3c.tools.resources.FrameArrayAttribute' length='1'>
   <resource class='org.w3c.jigsaw.webdav.DAVFrame'>
    <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, 23 Nov 2000 15:18:21 GMT</attribute>
    <attribute name='help-url' flag='1' class='org.w3c.tools.resources.StringAttribute'>http://ender.inria.fr:8001/Doc/Reference/org.w3c.jigsaw.webdav.DAVFrame.html</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'> </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'>true</attribute>
    <attribute name='putable' flag='2' class='org.w3c.tools.resources.BooleanAttribute'>true</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>
    <attribute name='override' flag='2' class='org.w3c.tools.resources.BooleanAttribute'>false</attribute>
    <attribute name='convert-get' flag='2' class='org.w3c.tools.resources.BooleanAttribute'>true</attribute>
    <attribute name='creation-date' flag='1' class='org.w3c.tools.resources.DateAttribute'>Thu, 23 Nov 2000 14:32:24 GMT</attribute>
    <array name='dead-properties' flag='1' class='org.w3c.tools.resources.PropertiesAttribute' length='0'>
    </array>
    <attribute name='lock-token' flag='1' class='org.w3c.tools.resources.StringAttribute'>@@NULL@@</attribute>
    <attribute name='lock-timeout' flag='1' class='org.w3c.tools.resources.DateAttribute'>@@NULL@@</attribute>
    <attribute name='lock-date' flag='1' class='org.w3c.tools.resources.DateAttribute'>@@NULL@@</attribute>
    <attribute name='lock-depth' flag='1' class='org.w3c.tools.resources.IntegerAttribute'>@@NULL@@</attribute>
    <attribute name='lock-owner' flag='1' class='org.w3c.tools.resources.StringAttribute'>@@NULL@@</attribute>
    <attribute name='lock-username' flag='1' class='org.w3c.tools.resources.StringAttribute'>@@NULL@@</attribute>
   </resource>
  </resourcearray>
  <attribute name='last-modified' flag='3' class='org.w3c.tools.resources.DateAttribute'>Thu, 23 Nov 2000 15:18:46 GMT</attribute>
  <attribute name='help-url' flag='1' class='org.w3c.tools.resources.StringAttribute'>http://ender.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'>package-frame.html</attribute>
  <attribute name='file-stamp' flag='1' class='org.w3c.tools.resources.DateAttribute'>Wed, 31 Dec 1969 23:59:59 GMT</attribute>
  <attribute name='file-length' flag='1' class='org.w3c.tools.resources.IntegerAttribute'>@@NULL@@</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'>MyHTMLEditorKit.LinkController.html</attribute>
  <resourcearray name='frames' class='org.w3c.tools.resources.FrameArrayAttribute' length='1'>
   <resource class='org.w3c.jigsaw.webdav.DAVFrame'>
    <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, 23 Nov 2000 15:18:21 GMT</attribute>
    <attribute name='help-url' flag='1' class='org.w3c.tools.resources.StringAttribute'>http://ender.inria.fr:8001/Doc/Reference/org.w3c.jigsaw.webdav.DAVFrame.html</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'> </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'>true</attribute>
    <attribute name='putable' flag='2' class='org.w3c.tools.resources.BooleanAttribute'>true</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>
    <attribute name='override' flag='2' class='org.w3c.tools.resources.BooleanAttribute'>false</attribute>
    <attribute name='convert-get' flag='2' class='org.w3c.tools.resources.BooleanAttribute'>true</attribute>
    <attribute name='creation-date' flag='1' class='org.w3c.tools.resources.DateAttribute'>Thu, 23 Nov 2000 14:32:24 GMT</attribute>
    <array name='dead-properties' flag='1' class='org.w3c.tools.resources.PropertiesAttribute' length='0'>
    </array>
    <attribute name='lock-token' flag='1' class='org.w3c.tools.resources.StringAttribute'>@@NULL@@</attribute>
    <attribute name='lock-timeout' flag='1' class='org.w3c.tools.resources.DateAttribute'>@@NULL@@</attribute>
    <attribute name='lock-date' flag='1' class='org.w3c.tools.resources.DateAttribute'>@@NULL@@</attribute>
    <attribute name='lock-depth' flag='1' class='org.w3c.tools.resources.IntegerAttribute'>@@NULL@@</attribute>
    <attribute name='lock-owner' flag='1' class='org.w3c.tools.resources.StringAttribute'>@@NULL@@</attribute>
    <attribute name='lock-username' flag='1' class='org.w3c.tools.resources.StringAttribute'>@@NULL@@</attribute>
   </resource>
  </resourcearray>
  <attribute name='last-modified' flag='3' class='org.w3c.tools.resources.DateAttribute'>Thu, 23 Nov 2000 15:18:46 GMT</attribute>
  <attribute name='help-url' flag='1' class='org.w3c.tools.resources.StringAttribute'>http://ender.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'>MyHTMLEditorKit.LinkController.html</attribute>
  <attribute name='file-stamp' flag='1' class='org.w3c.tools.resources.DateAttribute'>Wed, 31 Dec 1969 23:59:59 GMT</attribute>
  <attribute name='file-length' flag='1' class='org.w3c.tools.resources.IntegerAttribute'>@@NULL@@</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'>ResourceCell.html</attribute>
  <resourcearray name='frames' class='org.w3c.tools.resources.FrameArrayAttribute' length='1'>
   <resource class='org.w3c.jigsaw.webdav.DAVFrame'>
    <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, 23 Nov 2000 15:18:21 GMT</attribute>
    <attribute name='help-url' flag='1' class='org.w3c.tools.resources.StringAttribute'>http://ender.inria.fr:8001/Doc/Reference/org.w3c.jigsaw.webdav.DAVFrame.html</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'> </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'>true</attribute>
    <attribute name='putable' flag='2' class='org.w3c.tools.resources.BooleanAttribute'>true</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>
    <attribute name='override' flag='2' class='org.w3c.tools.resources.BooleanAttribute'>false</attribute>
    <attribute name='convert-get' flag='2' class='org.w3c.tools.resources.BooleanAttribute'>true</attribute>
    <attribute name='creation-date' flag='1' class='org.w3c.tools.resources.DateAttribute'>Thu, 23 Nov 2000 14:32:24 GMT</attribute>
    <array name='dead-properties' flag='1' class='org.w3c.tools.resources.PropertiesAttribute' length='0'>
    </array>
    <attribute name='lock-token' flag='1' class='org.w3c.tools.resources.StringAttribute'>@@NULL@@</attribute>
    <attribute name='lock-timeout' flag='1' class='org.w3c.tools.resources.DateAttribute'>@@NULL@@</attribute>
    <attribute name='lock-date' flag='1' class='org.w3c.tools.resources.DateAttribute'>@@NULL@@</attribute>
    <attribute name='lock-depth' flag='1' class='org.w3c.tools.resources.IntegerAttribute'>@@NULL@@</attribute>
    <attribute name='lock-owner' flag='1' class='org.w3c.tools.resources.StringAttribute'>@@NULL@@</attribute>
    <attribute name='lock-username' flag='1' class='org.w3c.tools.resources.StringAttribute'>@@NULL@@</attribute>
   </resource>
  </resourcearray>
  <attribute name='last-modified' flag='3' class='org.w3c.tools.resources.DateAttribute'>Thu, 23 Nov 2000 15:18:46 GMT</attribute>
  <attribute name='help-url' flag='1' class='org.w3c.tools.resources.StringAttribute'>http://ender.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'>ResourceCell.html</attribute>
  <attribute name='file-stamp' flag='1' class='org.w3c.tools.resources.DateAttribute'>Wed, 31 Dec 1969 23:59:59 GMT</attribute>
  <attribute name='file-length' flag='1' class='org.w3c.tools.resources.IntegerAttribute'>@@NULL@@</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'>RealmsServerHelper.html</attribute>
  <resourcearray name='frames' class='org.w3c.tools.resources.FrameArrayAttribute' length='1'>
   <resource class='org.w3c.jigsaw.webdav.DAVFrame'>
    <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, 23 Nov 2000 15:18:21 GMT</attribute>
    <attribute name='help-url' flag='1' class='org.w3c.tools.resources.StringAttribute'>http://ender.inria.fr:8001/Doc/Reference/org.w3c.jigsaw.webdav.DAVFrame.html</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'> </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'>true</attribute>
    <attribute name='putable' flag='2' class='org.w3c.tools.resources.BooleanAttribute'>true</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>
    <attribute name='override' flag='2' class='org.w3c.tools.resources.BooleanAttribute'>false</attribute>
    <attribute name='convert-get' flag='2' class='org.w3c.tools.resources.BooleanAttribute'>true</attribute>
    <attribute name='creation-date' flag='1' class='org.w3c.tools.resources.DateAttribute'>Thu, 23 Nov 2000 14:32:24 GMT</attribute>
    <array name='dead-properties' flag='1' class='org.w3c.tools.resources.PropertiesAttribute' length='0'>
    </array>
    <attribute name='lock-token' flag='1' class='org.w3c.tools.resources.StringAttribute'>@@NULL@@</attribute>
    <attribute name='lock-timeout' flag='1' class='org.w3c.tools.resources.DateAttribute'>@@NULL@@</attribute>
    <attribute name='lock-date' flag='1' class='org.w3c.tools.resources.DateAttribute'>@@NULL@@</attribute>
    <attribute name='lock-depth' flag='1' class='org.w3c.tools.resources.IntegerAttribute'>@@NULL@@</attribute>
    <attribute name='lock-owner' flag='1' class='org.w3c.tools.resources.StringAttribute'>@@NULL@@</attribute>
    <attribute name='lock-username' flag='1' class='org.w3c.tools.resources.StringAttribute'>@@NULL@@</attribute>
   </resource>
  </resourcearray>
  <attribute name='last-modified' flag='3' class='org.w3c.tools.resources.DateAttribute'>Thu, 23 Nov 2000 15:18:46 GMT</attribute>
  <attribute name='help-url' flag='1' class='org.w3c.tools.resources.StringAttribute'>http://ender.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'>RealmsServerHelper.html</attribute>
  <attribute name='file-stamp' flag='1' class='org.w3c.tools.resources.DateAttribute'>Wed, 31 Dec 1969 23:59:59 GMT</attribute>
  <attribute name='file-length' flag='1' class='org.w3c.tools.resources.IntegerAttribute'>@@NULL@@</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'>AdminServerEditor.html</attribute>
  <resourcearray name='frames' class='org.w3c.tools.resources.FrameArrayAttribute' length='1'>
   <resource class='org.w3c.jigsaw.webdav.DAVFrame'>
    <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, 23 Nov 2000 15:18:21 GMT</attribute>
    <attribute name='help-url' flag='1' class='org.w3c.tools.resources.StringAttribute'>http://ender.inria.fr:8001/Doc/Reference/org.w3c.jigsaw.webdav.DAVFrame.html</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'> </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'>true</attribute>
    <attribute name='putable' flag='2' class='org.w3c.tools.resources.BooleanAttribute'>true</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>
    <attribute name='override' flag='2' class='org.w3c.tools.resources.BooleanAttribute'>false</attribute>
    <attribute name='convert-get' flag='2' class='org.w3c.tools.resources.BooleanAttribute'>true</attribute>
    <attribute name='creation-date' flag='1' class='org.w3c.tools.resources.DateAttribute'>Thu, 23 Nov 2000 14:32:24 GMT</attribute>
    <array name='dead-properties' flag='1' class='org.w3c.tools.resources.PropertiesAttribute' length='0'>
    </array>
    <attribute name='lock-token' flag='1' class='org.w3c.tools.resources.StringAttribute'>@@NULL@@</attribute>
    <attribute name='lock-timeout' flag='1' class='org.w3c.tools.resources.DateAttribute'>@@NULL@@</attribute>
    <attribute name='lock-date' flag='1' class='org.w3c.tools.resources.DateAttribute'>@@NULL@@</attribute>
    <attribute name='lock-depth' flag='1' class='org.w3c.tools.resources.IntegerAttribute'>@@NULL@@</attribute>
    <attribute name='lock-owner' flag='1' class='org.w3c.tools.resources.StringAttribute'>@@NULL@@</attribute>
    <attribute name='lock-username' flag='1' class='org.w3c.tools.resources.StringAttribute'>@@NULL@@</attribute>
   </resource>
  </resourcearray>
  <attribute name='last-modified' flag='3' class='org.w3c.tools.resources.DateAttribute'>Thu, 23 Nov 2000 15:18:46 GMT</attribute>
  <attribute name='help-url' flag='1' class='org.w3c.tools.resources.StringAttribute'>http://ender.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'>AdminServerEditor.html</attribute>
  <attribute name='file-stamp' flag='1' class='org.w3c.tools.resources.DateAttribute'>Wed, 31 Dec 1969 23:59:59 GMT</attribute>
  <attribute name='file-length' flag='1' class='org.w3c.tools.resources.IntegerAttribute'>@@NULL@@</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'>SpaceServerHelper.html</attribute>
  <resourcearray name='frames' class='org.w3c.tools.resources.FrameArrayAttribute' length='1'>
   <resource class='org.w3c.jigsaw.webdav.DAVFrame'>
    <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, 23 Nov 2000 15:18:21 GMT</attribute>
    <attribute name='help-url' flag='1' class='org.w3c.tools.resources.StringAttribute'>http://ender.inria.fr:8001/Doc/Reference/org.w3c.jigsaw.webdav.DAVFrame.html</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'> </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'>true</attribute>
    <attribute name='putable' flag='2' class='org.w3c.tools.resources.BooleanAttribute'>true</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>
    <attribute name='override' flag='2' class='org.w3c.tools.resources.BooleanAttribute'>false</attribute>
    <attribute name='convert-get' flag='2' class='org.w3c.tools.resources.BooleanAttribute'>true</attribute>
    <attribute name='creation-date' flag='1' class='org.w3c.tools.resources.DateAttribute'>Thu, 23 Nov 2000 14:32:24 GMT</attribute>
    <array name='dead-properties' flag='1' class='org.w3c.tools.resources.PropertiesAttribute' length='0'>
    </array>
    <attribute name='lock-token' flag='1' class='org.w3c.tools.resources.StringAttribute'>@@NULL@@</attribute>
    <attribute name='lock-timeout' flag='1' class='org.w3c.tools.resources.DateAttribute'>@@NULL@@</attribute>
    <attribute name='lock-date' flag='1' class='org.w3c.tools.resources.DateAttribute'>@@NULL@@</attribute>
    <attribute name='lock-depth' flag='1' class='org.w3c.tools.resources.IntegerAttribute'>@@NULL@@</attribute>
    <attribute name='lock-owner' flag='1' class='org.w3c.tools.resources.StringAttribute'>@@NULL@@</attribute>
    <attribute name='lock-username' flag='1' class='org.w3c.tools.resources.StringAttribute'>@@NULL@@</attribute>
   </resource>
  </resourcearray>
  <attribute name='last-modified' flag='3' class='org.w3c.tools.resources.DateAttribute'>Thu, 23 Nov 2000 15:18:46 GMT</attribute>
  <attribute name='help-url' flag='1' class='org.w3c.tools.resources.StringAttribute'>http://ender.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'>SpaceServerHelper.html</attribute>
  <attribute name='file-stamp' flag='1' class='org.w3c.tools.resources.DateAttribute'>Wed, 31 Dec 1969 23:59:59 GMT</attribute>
  <attribute name='file-length' flag='1' class='org.w3c.tools.resources.IntegerAttribute'>@@NULL@@</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'>FrameBrowser.html</attribute>
  <resourcearray name='frames' class='org.w3c.tools.resources.FrameArrayAttribute' length='1'>
   <resource class='org.w3c.jigsaw.webdav.DAVFrame'>
    <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, 23 Nov 2000 15:18:21 GMT</attribute>
    <attribute name='help-url' flag='1' class='org.w3c.tools.resources.StringAttribute'>http://ender.inria.fr:8001/Doc/Reference/org.w3c.jigsaw.webdav.DAVFrame.html</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'> </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'>true</attribute>
    <attribute name='putable' flag='2' class='org.w3c.tools.resources.BooleanAttribute'>true</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>
    <attribute name='override' flag='2' class='org.w3c.tools.resources.BooleanAttribute'>false</attribute>
    <attribute name='convert-get' flag='2' class='org.w3c.tools.resources.BooleanAttribute'>true</attribute>
    <attribute name='creation-date' flag='1' class='org.w3c.tools.resources.DateAttribute'>Thu, 23 Nov 2000 14:32:24 GMT</attribute>
    <array name='dead-properties' flag='1' class='org.w3c.tools.resources.PropertiesAttribute' length='0'>
    </array>
    <attribute name='lock-token' flag='1' class='org.w3c.tools.resources.StringAttribute'>@@NULL@@</attribute>
    <attribute name='lock-timeout' flag='1' class='org.w3c.tools.resources.DateAttribute'>@@NULL@@</attribute>
    <attribute name='lock-date' flag='1' class='org.w3c.tools.resources.DateAttribute'>@@NULL@@</attribute>
    <attribute name='lock-depth' flag='1' class='org.w3c.tools.resources.IntegerAttribute'>@@NULL@@</attribute>
    <attribute name='lock-owner' flag='1' class='org.w3c.tools.resources.StringAttribute'>@@NULL@@</attribute>
    <attribute name='lock-username' flag='1' class='org.w3c.tools.resources.StringAttribute'>@@NULL@@</attribute>
   </resource>
  </resourcearray>
  <attribute name='last-modified' flag='3' class='org.w3c.tools.resources.DateAttribute'>Thu, 23 Nov 2000 15:18:46 GMT</attribute>
  <attribute name='help-url' flag='1' class='org.w3c.tools.resources.StringAttribute'>http://ender.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'>FrameBrowser.html</attribute>
  <attribute name='file-stamp' flag='1' class='org.w3c.tools.resources.DateAttribute'>Wed, 31 Dec 1969 23:59:59 GMT</attribute>
  <attribute name='file-length' flag='1' class='org.w3c.tools.resources.IntegerAttribute'>@@NULL@@</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'>ServerEditor.html</attribute>
  <resourcearray name='frames' class='org.w3c.tools.resources.FrameArrayAttribute' length='1'>
   <resource class='org.w3c.jigsaw.webdav.DAVFrame'>
    <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, 23 Nov 2000 15:18:21 GMT</attribute>
    <attribute name='help-url' flag='1' class='org.w3c.tools.resources.StringAttribute'>http://ender.inria.fr:8001/Doc/Reference/org.w3c.jigsaw.webdav.DAVFrame.html</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'> </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'>true</attribute>
    <attribute name='putable' flag='2' class='org.w3c.tools.resources.BooleanAttribute'>true</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>
    <attribute name='override' flag='2' class='org.w3c.tools.resources.BooleanAttribute'>false</attribute>
    <attribute name='convert-get' flag='2' class='org.w3c.tools.resources.BooleanAttribute'>true</attribute>
    <attribute name='creation-date' flag='1' class='org.w3c.tools.resources.DateAttribute'>Thu, 23 Nov 2000 14:32:24 GMT</attribute>
    <array name='dead-properties' flag='1' class='org.w3c.tools.resources.PropertiesAttribute' length='0'>
    </array>
    <attribute name='lock-token' flag='1' class='org.w3c.tools.resources.StringAttribute'>@@NULL@@</attribute>
    <attribute name='lock-timeout' flag='1' class='org.w3c.tools.resources.DateAttribute'>@@NULL@@</attribute>
    <attribute name='lock-date' flag='1' class='org.w3c.tools.resources.DateAttribute'>@@NULL@@</attribute>
    <attribute name='lock-depth' flag='1' class='org.w3c.tools.resources.IntegerAttribute'>@@NULL@@</attribute>
    <attribute name='lock-owner' flag='1' class='org.w3c.tools.resources.StringAttribute'>@@NULL@@</attribute>
    <attribute name='lock-username' flag='1' class='org.w3c.tools.resources.StringAttribute'>@@NULL@@</attribute>
   </resource>
  </resourcearray>
  <attribute name='last-modified' flag='3' class='org.w3c.tools.resources.DateAttribute'>Thu, 23 Nov 2000 15:18:46 GMT</attribute>
  <attribute name='help-url' flag='1' class='org.w3c.tools.resources.StringAttribute'>http://ender.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'>ServerEditor.html</attribute>
  <attribute name='file-stamp' flag='1' class='org.w3c.tools.resources.DateAttribute'>Wed, 31 Dec 1969 23:59:59 GMT</attribute>
  <attribute name='file-length' flag='1' class='org.w3c.tools.resources.IntegerAttribute'>@@NULL@@</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'>RemoteFrameWrapperNode.html</attribute>
  <resourcearray name='frames' class='org.w3c.tools.resources.FrameArrayAttribute' length='1'>
   <resource class='org.w3c.jigsaw.webdav.DAVFrame'>
    <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, 23 Nov 2000 15:18:21 GMT</attribute>
    <attribute name='help-url' flag='1' class='org.w3c.tools.resources.StringAttribute'>http://ender.inria.fr:8001/Doc/Reference/org.w3c.jigsaw.webdav.DAVFrame.html</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'> </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'>true</attribute>
    <attribute name='putable' flag='2' class='org.w3c.tools.resources.BooleanAttribute'>true</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>
    <attribute name='override' flag='2' class='org.w3c.tools.resources.BooleanAttribute'>false</attribute>
    <attribute name='convert-get' flag='2' class='org.w3c.tools.resources.BooleanAttribute'>true</attribute>
    <attribute name='creation-date' flag='1' class='org.w3c.tools.resources.DateAttribute'>Thu, 23 Nov 2000 14:32:24 GMT</attribute>
    <array name='dead-properties' flag='1' class='org.w3c.tools.resources.PropertiesAttribute' length='0'>
    </array>
    <attribute name='lock-token' flag='1' class='org.w3c.tools.resources.StringAttribute'>@@NULL@@</attribute>
    <attribute name='lock-timeout' flag='1' class='org.w3c.tools.resources.DateAttribute'>@@NULL@@</attribute>
    <attribute name='lock-date' flag='1' class='org.w3c.tools.resources.DateAttribute'>@@NULL@@</attribute>
    <attribute name='lock-depth' flag='1' class='org.w3c.tools.resources.IntegerAttribute'>@@NULL@@</attribute>
    <attribute name='lock-owner' flag='1' class='org.w3c.tools.resources.StringAttribute'>@@NULL@@</attribute>
    <attribute name='lock-username' flag='1' class='org.w3c.tools.resources.StringAttribute'>@@NULL@@</attribute>
   </resource>
  </resourcearray>
  <attribute name='last-modified' flag='3' class='org.w3c.tools.resources.DateAttribute'>Thu, 23 Nov 2000 15:18:46 GMT</attribute>
  <attribute name='help-url' flag='1' class='org.w3c.tools.resources.StringAttribute'>http://ender.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'>RemoteFrameWrapperNode.html</attribute>
  <attribute name='file-stamp' flag='1' class='org.w3c.tools.resources.DateAttribute'>Wed, 31 Dec 1969 23:59:59 GMT</attribute>
  <attribute name='file-length' flag='1' class='org.w3c.tools.resources.IntegerAttribute'>@@NULL@@</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'>PropertiesServerHelper.html</attribute>
  <resourcearray name='frames' class='org.w3c.tools.resources.FrameArrayAttribute' length='1'>
   <resource class='org.w3c.jigsaw.webdav.DAVFrame'>
    <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, 23 Nov 2000 15:18:21 GMT</attribute>
    <attribute name='help-url' flag='1' class='org.w3c.tools.resources.StringAttribute'>http://ender.inria.fr:8001/Doc/Reference/org.w3c.jigsaw.webdav.DAVFrame.html</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'> </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'>true</attribute>
    <attribute name='putable' flag='2' class='org.w3c.tools.resources.BooleanAttribute'>true</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>
    <attribute name='override' flag='2' class='org.w3c.tools.resources.BooleanAttribute'>false</attribute>
    <attribute name='convert-get' flag='2' class='org.w3c.tools.resources.BooleanAttribute'>true</attribute>
    <attribute name='creation-date' flag='1' class='org.w3c.tools.resources.DateAttribute'>Thu, 23 Nov 2000 14:32:24 GMT</attribute>
    <array name='dead-properties' flag='1' class='org.w3c.tools.resources.PropertiesAttribute' length='0'>
    </array>
    <attribute name='lock-token' flag='1' class='org.w3c.tools.resources.StringAttribute'>@@NULL@@</attribute>
    <attribute name='lock-timeout' flag='1' class='org.w3c.tools.resources.DateAttribute'>@@NULL@@</attribute>
    <attribute name='lock-date' flag='1' class='org.w3c.tools.resources.DateAttribute'>@@NULL@@</attribute>
    <attribute name='lock-depth' flag='1' class='org.w3c.tools.resources.IntegerAttribute'>@@NULL@@</attribute>
    <attribute name='lock-owner' flag='1' class='org.w3c.tools.resources.StringAttribute'>@@NULL@@</attribute>
    <attribute name='lock-username' flag='1' class='org.w3c.tools.resources.StringAttribute'>@@NULL@@</attribute>
   </resource>
  </resourcearray>
  <attribute name='last-modified' flag='3' class='org.w3c.tools.resources.DateAttribute'>Thu, 23 Nov 2000 15:18:46 GMT</attribute>
  <attribute name='help-url' flag='1' class='org.w3c.tools.resources.StringAttribute'>http://ender.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'>PropertiesServerHelper.html</attribute>
  <attribute name='file-stamp' flag='1' class='org.w3c.tools.resources.DateAttribute'>Wed, 31 Dec 1969 23:59:59 GMT</attribute>
  <attribute name='file-length' flag='1' class='org.w3c.tools.resources.IntegerAttribute'>@@NULL@@</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'>AttributeEditorFactory.html</attribute>
  <resourcearray name='frames' class='org.w3c.tools.resources.FrameArrayAttribute' length='1'>
   <resource class='org.w3c.jigsaw.webdav.DAVFrame'>
    <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, 23 Nov 2000 15:18:21 GMT</attribute>
    <attribute name='help-url' flag='1' class='org.w3c.tools.resources.StringAttribute'>http://ender.inria.fr:8001/Doc/Reference/org.w3c.jigsaw.webdav.DAVFrame.html</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'> </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'>true</attribute>
    <attribute name='putable' flag='2' class='org.w3c.tools.resources.BooleanAttribute'>true</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>
    <attribute name='override' flag='2' class='org.w3c.tools.resources.BooleanAttribute'>false</attribute>
    <attribute name='convert-get' flag='2' class='org.w3c.tools.resources.BooleanAttribute'>true</attribute>
    <attribute name='creation-date' flag='1' class='org.w3c.tools.resources.DateAttribute'>Thu, 23 Nov 2000 14:32:24 GMT</attribute>
    <array name='dead-properties' flag='1' class='org.w3c.tools.resources.PropertiesAttribute' length='0'>
    </array>
    <attribute name='lock-token' flag='1' class='org.w3c.tools.resources.StringAttribute'>@@NULL@@</attribute>
    <attribute name='lock-timeout' flag='1' class='org.w3c.tools.resources.DateAttribute'>@@NULL@@</attribute>
    <attribute name='lock-date' flag='1' class='org.w3c.tools.resources.DateAttribute'>@@NULL@@</attribute>
    <attribute name='lock-depth' flag='1' class='org.w3c.tools.resources.IntegerAttribute'>@@NULL@@</attribute>
    <attribute name='lock-owner' flag='1' class='org.w3c.tools.resources.StringAttribute'>@@NULL@@</attribute>
    <attribute name='lock-username' flag='1' class='org.w3c.tools.resources.StringAttribute'>@@NULL@@</attribute>
   </resource>
  </resourcearray>
  <attribute name='last-modified' flag='3' class='org.w3c.tools.resources.DateAttribute'>Thu, 23 Nov 2000 15:18:46 GMT</attribute>
  <attribute name='help-url' flag='1' class='org.w3c.tools.resources.StringAttribute'>http://ender.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'>AttributeEditorFactory.html</attribute>
  <attribute name='file-stamp' flag='1' class='org.w3c.tools.resources.DateAttribute'>Wed, 31 Dec 1969 23:59:59 GMT</attribute>
  <attribute name='file-length' flag='1' class='org.w3c.tools.resources.IntegerAttribute'>@@NULL@@</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'>MyHTMLEditorKit.html</attribute>
  <resourcearray name='frames' class='org.w3c.tools.resources.FrameArrayAttribute' length='1'>
   <resource class='org.w3c.jigsaw.webdav.DAVFrame'>
    <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, 23 Nov 2000 15:18:21 GMT</attribute>
    <attribute name='help-url' flag='1' class='org.w3c.tools.resources.StringAttribute'>http://ender.inria.fr:8001/Doc/Reference/org.w3c.jigsaw.webdav.DAVFrame.html</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'> </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'>true</attribute>
    <attribute name='putable' flag='2' class='org.w3c.tools.resources.BooleanAttribute'>true</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>
    <attribute name='override' flag='2' class='org.w3c.tools.resources.BooleanAttribute'>false</attribute>
    <attribute name='convert-get' flag='2' class='org.w3c.tools.resources.BooleanAttribute'>true</attribute>
    <attribute name='creation-date' flag='1' class='org.w3c.tools.resources.DateAttribute'>Thu, 23 Nov 2000 14:32:24 GMT</attribute>
    <array name='dead-properties' flag='1' class='org.w3c.tools.resources.PropertiesAttribute' length='0'>
    </array>
    <attribute name='lock-token' flag='1' class='org.w3c.tools.resources.StringAttribute'>@@NULL@@</attribute>
    <attribute name='lock-timeout' flag='1' class='org.w3c.tools.resources.DateAttribute'>@@NULL@@</attribute>
    <attribute name='lock-date' flag='1' class='org.w3c.tools.resources.DateAttribute'>@@NULL@@</attribute>
    <attribute name='lock-depth' flag='1' class='org.w3c.tools.resources.IntegerAttribute'>@@NULL@@</attribute>
    <attribute name='lock-owner' flag='1' class='org.w3c.tools.resources.StringAttribute'>@@NULL@@</attribute>
    <attribute name='lock-username' flag='1' class='org.w3c.tools.resources.StringAttribute'>@@NULL@@</attribute>
   </resource>
  </resourcearray>
  <attribute name='last-modified' flag='3' class='org.w3c.tools.resources.DateAttribute'>Thu, 23 Nov 2000 15:18:46 GMT</attribute>
  <attribute name='help-url' flag='1' class='org.w3c.tools.resources.StringAttribute'>http://ender.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'>MyHTMLEditorKit.html</attribute>
  <attribute name='file-stamp' flag='1' class='org.w3c.tools.resources.DateAttribute'>Wed, 31 Dec 1969 23:59:59 GMT</attribute>
  <attribute name='file-length' flag='1' class='org.w3c.tools.resources.IntegerAttribute'>@@NULL@@</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'>package-summary.html</attribute>
  <resourcearray name='frames' class='org.w3c.tools.resources.FrameArrayAttribute' length='1'>
   <resource class='org.w3c.jigsaw.webdav.DAVFrame'>
    <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, 23 Nov 2000 15:18:21 GMT</attribute>
    <attribute name='help-url' flag='1' class='org.w3c.tools.resources.StringAttribute'>http://ender.inria.fr:8001/Doc/Reference/org.w3c.jigsaw.webdav.DAVFrame.html</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'> </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'>true</attribute>
    <attribute name='putable' flag='2' class='org.w3c.tools.resources.BooleanAttribute'>true</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>
    <attribute name='override' flag='2' class='org.w3c.tools.resources.BooleanAttribute'>false</attribute>
    <attribute name='convert-get' flag='2' class='org.w3c.tools.resources.BooleanAttribute'>true</attribute>
    <attribute name='creation-date' flag='1' class='org.w3c.tools.resources.DateAttribute'>Thu, 23 Nov 2000 14:32:24 GMT</attribute>
    <array name='dead-properties' flag='1' class='org.w3c.tools.resources.PropertiesAttribute' length='0'>
    </array>
    <attribute name='lock-token' flag='1' class='org.w3c.tools.resources.StringAttribute'>@@NULL@@</attribute>
    <attribute name='lock-timeout' flag='1' class='org.w3c.tools.resources.DateAttribute'>@@NULL@@</attribute>
    <attribute name='lock-date' flag='1' class='org.w3c.tools.resources.DateAttribute'>@@NULL@@</attribute>
    <attribute name='lock-depth' flag='1' class='org.w3c.tools.resources.IntegerAttribute'>@@NULL@@</attribute>
    <attribute name='lock-owner' flag='1' class='org.w3c.tools.resources.StringAttribute'>@@NULL@@</attribute>
    <attribute name='lock-username' flag='1' class='org.w3c.tools.resources.StringAttribute'>@@NULL@@</attribute>
   </resource>
  </resourcearray>
  <attribute name='last-modified' flag='3' class='org.w3c.tools.resources.DateAttribute'>Thu, 23 Nov 2000 15:18:46 GMT</attribute>
  <attribute name='help-url' flag='1' class='org.w3c.tools.resources.StringAttribute'>http://ender.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'>package-summary.html</attribute>
  <attribute name='file-stamp' flag='1' class='org.w3c.tools.resources.DateAttribute'>Wed, 31 Dec 1969 23:59:59 GMT</attribute>
  <attribute name='file-length' flag='1' class='org.w3c.tools.resources.IntegerAttribute'>@@NULL@@</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'>AddResourcePanel.html</attribute>
  <resourcearray name='frames' class='org.w3c.tools.resources.FrameArrayAttribute' length='1'>
   <resource class='org.w3c.jigsaw.webdav.DAVFrame'>
    <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, 23 Nov 2000 15:18:21 GMT</attribute>
    <attribute name='help-url' flag='1' class='org.w3c.tools.resources.StringAttribute'>http://ender.inria.fr:8001/Doc/Reference/org.w3c.jigsaw.webdav.DAVFrame.html</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'> </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'>true</attribute>
    <attribute name='putable' flag='2' class='org.w3c.tools.resources.BooleanAttribute'>true</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>
    <attribute name='override' flag='2' class='org.w3c.tools.resources.BooleanAttribute'>false</attribute>
    <attribute name='convert-get' flag='2' class='org.w3c.tools.resources.BooleanAttribute'>true</attribute>
    <attribute name='creation-date' flag='1' class='org.w3c.tools.resources.DateAttribute'>Thu, 23 Nov 2000 14:32:24 GMT</attribute>
    <array name='dead-properties' flag='1' class='org.w3c.tools.resources.PropertiesAttribute' length='0'>
    </array>
    <attribute name='lock-token' flag='1' class='org.w3c.tools.resources.StringAttribute'>@@NULL@@</attribute>
    <attribute name='lock-timeout' flag='1' class='org.w3c.tools.resources.DateAttribute'>@@NULL@@</attribute>
    <attribute name='lock-date' flag='1' class='org.w3c.tools.resources.DateAttribute'>@@NULL@@</attribute>
    <attribute name='lock-depth' flag='1' class='org.w3c.tools.resources.IntegerAttribute'>@@NULL@@</attribute>
    <attribute name='lock-owner' flag='1' class='org.w3c.tools.resources.StringAttribute'>@@NULL@@</attribute>
    <attribute name='lock-username' flag='1' class='org.w3c.tools.resources.StringAttribute'>@@NULL@@</attribute>
   </resource>
  </resourcearray>
  <attribute name='last-modified' flag='3' class='org.w3c.tools.resources.DateAttribute'>Thu, 23 Nov 2000 15:18:46 GMT</attribute>
  <attribute name='help-url' flag='1' class='org.w3c.tools.resources.StringAttribute'>http://ender.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'>AddResourcePanel.html</attribute>
  <attribute name='file-stamp' flag='1' class='org.w3c.tools.resources.DateAttribute'>Wed, 31 Dec 1969 23:59:59 GMT</attribute>
  <attribute name='file-length' flag='1' class='org.w3c.tools.resources.IntegerAttribute'>@@NULL@@</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'>package-tree.html</attribute>
  <resourcearray name='frames' class='org.w3c.tools.resources.FrameArrayAttribute' length='1'>
   <resource class='org.w3c.jigsaw.webdav.DAVFrame'>
    <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, 23 Nov 2000 15:18:21 GMT</attribute>
    <attribute name='help-url' flag='1' class='org.w3c.tools.resources.StringAttribute'>http://ender.inria.fr:8001/Doc/Reference/org.w3c.jigsaw.webdav.DAVFrame.html</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'> </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'>true</attribute>
    <attribute name='putable' flag='2' class='org.w3c.tools.resources.BooleanAttribute'>true</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>
    <attribute name='override' flag='2' class='org.w3c.tools.resources.BooleanAttribute'>false</attribute>
    <attribute name='convert-get' flag='2' class='org.w3c.tools.resources.BooleanAttribute'>true</attribute>
    <attribute name='creation-date' flag='1' class='org.w3c.tools.resources.DateAttribute'>Thu, 23 Nov 2000 14:32:24 GMT</attribute>
    <array name='dead-properties' flag='1' class='org.w3c.tools.resources.PropertiesAttribute' length='0'>
    </array>
    <attribute name='lock-token' flag='1' class='org.w3c.tools.resources.StringAttribute'>@@NULL@@</attribute>
    <attribute name='lock-timeout' flag='1' class='org.w3c.tools.resources.DateAttribute'>@@NULL@@</attribute>
    <attribute name='lock-date' flag='1' class='org.w3c.tools.resources.DateAttribute'>@@NULL@@</attribute>
    <attribute name='lock-depth' flag='1' class='org.w3c.tools.resources.IntegerAttribute'>@@NULL@@</attribute>
    <attribute name='lock-owner' flag='1' class='org.w3c.tools.resources.StringAttribute'>@@NULL@@</attribute>
    <attribute name='lock-username' flag='1' class='org.w3c.tools.resources.StringAttribute'>@@NULL@@</attribute>
   </resource>
  </resourcearray>
  <attribute name='last-modified' flag='3' class='org.w3c.tools.resources.DateAttribute'>Thu, 23 Nov 2000 15:18:46 GMT</attribute>
  <attribute name='help-url' flag='1' class='org.w3c.tools.resources.StringAttribute'>http://ender.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'>package-tree.html</attribute>
  <attribute name='file-stamp' flag='1' class='org.w3c.tools.resources.DateAttribute'>Wed, 31 Dec 1969 23:59:59 GMT</attribute>
  <attribute name='file-length' flag='1' class='org.w3c.tools.resources.IntegerAttribute'>@@NULL@@</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'>TransferableResourceCell.html</attribute>
  <resourcearray name='frames' class='org.w3c.tools.resources.FrameArrayAttribute' length='1'>
   <resource class='org.w3c.jigsaw.webdav.DAVFrame'>
    <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, 23 Nov 2000 15:18:21 GMT</attribute>
    <attribute name='help-url' flag='1' class='org.w3c.tools.resources.StringAttribute'>http://ender.inria.fr:8001/Doc/Reference/org.w3c.jigsaw.webdav.DAVFrame.html</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'> </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'>true</attribute>
    <attribute name='putable' flag='2' class='org.w3c.tools.resources.BooleanAttribute'>true</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>
    <attribute name='override' flag='2' class='org.w3c.tools.resources.BooleanAttribute'>false</attribute>
    <attribute name='convert-get' flag='2' class='org.w3c.tools.resources.BooleanAttribute'>true</attribute>
    <attribute name='creation-date' flag='1' class='org.w3c.tools.resources.DateAttribute'>Thu, 23 Nov 2000 14:32:24 GMT</attribute>
    <array name='dead-properties' flag='1' class='org.w3c.tools.resources.PropertiesAttribute' length='0'>
    </array>
    <attribute name='lock-token' flag='1' class='org.w3c.tools.resources.StringAttribute'>@@NULL@@</attribute>
    <attribute name='lock-timeout' flag='1' class='org.w3c.tools.resources.DateAttribute'>@@NULL@@</attribute>
    <attribute name='lock-date' flag='1' class='org.w3c.tools.resources.DateAttribute'>@@NULL@@</attribute>
    <attribute name='lock-depth' flag='1' class='org.w3c.tools.resources.IntegerAttribute'>@@NULL@@</attribute>
    <attribute name='lock-owner' flag='1' class='org.w3c.tools.resources.StringAttribute'>@@NULL@@</attribute>
    <attribute name='lock-username' flag='1' class='org.w3c.tools.resources.StringAttribute'>@@NULL@@</attribute>
   </resource>
  </resourcearray>
  <attribute name='last-modified' flag='3' class='org.w3c.tools.resources.DateAttribute'>Thu, 23 Nov 2000 15:18:46 GMT</attribute>
  <attribute name='help-url' flag='1' class='org.w3c.tools.resources.StringAttribute'>http://ender.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'>TransferableResourceCell.html</attribute>
  <attribute name='file-stamp' flag='1' class='org.w3c.tools.resources.DateAttribute'>Wed, 31 Dec 1969 23:59:59 GMT</attribute>
  <attribute name='file-length' flag='1' class='org.w3c.tools.resources.IntegerAttribute'>@@NULL@@</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'>IndexersServerHelper.html</attribute>
  <resourcearray name='frames' class='org.w3c.tools.resources.FrameArrayAttribute' length='1'>
   <resource class='org.w3c.jigsaw.webdav.DAVFrame'>
    <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, 23 Nov 2000 15:18:21 GMT</attribute>
    <attribute name='help-url' flag='1' class='org.w3c.tools.resources.StringAttribute'>http://ender.inria.fr:8001/Doc/Reference/org.w3c.jigsaw.webdav.DAVFrame.html</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'> </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'>true</attribute>
    <attribute name='putable' flag='2' class='org.w3c.tools.resources.BooleanAttribute'>true</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>
    <attribute name='override' flag='2' class='org.w3c.tools.resources.BooleanAttribute'>false</attribute>
    <attribute name='convert-get' flag='2' class='org.w3c.tools.resources.BooleanAttribute'>true</attribute>
    <attribute name='creation-date' flag='1' class='org.w3c.tools.resources.DateAttribute'>Thu, 23 Nov 2000 14:32:24 GMT</attribute>
    <array name='dead-properties' flag='1' class='org.w3c.tools.resources.PropertiesAttribute' length='0'>
    </array>
    <attribute name='lock-token' flag='1' class='org.w3c.tools.resources.StringAttribute'>@@NULL@@</attribute>
    <attribute name='lock-timeout' flag='1' class='org.w3c.tools.resources.DateAttribute'>@@NULL@@</attribute>
    <attribute name='lock-date' flag='1' class='org.w3c.tools.resources.DateAttribute'>@@NULL@@</attribute>
    <attribute name='lock-depth' flag='1' class='org.w3c.tools.resources.IntegerAttribute'>@@NULL@@</attribute>
    <attribute name='lock-owner' flag='1' class='org.w3c.tools.resources.StringAttribute'>@@NULL@@</attribute>
    <attribute name='lock-username' flag='1' class='org.w3c.tools.resources.StringAttribute'>@@NULL@@</attribute>
   </resource>
  </resourcearray>
  <attribute name='last-modified' flag='3' class='org.w3c.tools.resources.DateAttribute'>Thu, 23 Nov 2000 15:18:46 GMT</attribute>
  <attribute name='help-url' flag='1' class='org.w3c.tools.resources.StringAttribute'>http://ender.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'>IndexersServerHelper.html</attribute>
  <attribute name='file-stamp' flag='1' class='org.w3c.tools.resources.DateAttribute'>Wed, 31 Dec 1969 23:59:59 GMT</attribute>
  <attribute name='file-length' flag='1' class='org.w3c.tools.resources.IntegerAttribute'>@@NULL@@</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'>RemoteResourceWrapperNode.html</attribute>
  <resourcearray name='frames' class='org.w3c.tools.resources.FrameArrayAttribute' length='1'>
   <resource class='org.w3c.jigsaw.webdav.DAVFrame'>
    <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, 23 Nov 2000 15:18:21 GMT</attribute>
    <attribute name='help-url' flag='1' class='org.w3c.tools.resources.StringAttribute'>http://ender.inria.fr:8001/Doc/Reference/org.w3c.jigsaw.webdav.DAVFrame.html</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'> </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'>true</attribute>
    <attribute name='putable' flag='2' class='org.w3c.tools.resources.BooleanAttribute'>true</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>
    <attribute name='override' flag='2' class='org.w3c.tools.resources.BooleanAttribute'>false</attribute>
    <attribute name='convert-get' flag='2' class='org.w3c.tools.resources.BooleanAttribute'>true</attribute>
    <attribute name='creation-date' flag='1' class='org.w3c.tools.resources.DateAttribute'>Thu, 23 Nov 2000 14:32:24 GMT</attribute>
    <array name='dead-properties' flag='1' class='org.w3c.tools.resources.PropertiesAttribute' length='0'>
    </array>
    <attribute name='lock-token' flag='1' class='org.w3c.tools.resources.StringAttribute'>@@NULL@@</attribute>
    <attribute name='lock-timeout' flag='1' class='org.w3c.tools.resources.DateAttribute'>@@NULL@@</attribute>
    <attribute name='lock-date' flag='1' class='org.w3c.tools.resources.DateAttribute'>@@NULL@@</attribute>
    <attribute name='lock-depth' flag='1' class='org.w3c.tools.resources.IntegerAttribute'>@@NULL@@</attribute>
    <attribute name='lock-owner' flag='1' class='org.w3c.tools.resources.StringAttribute'>@@NULL@@</attribute>
    <attribute name='lock-username' flag='1' class='org.w3c.tools.resources.StringAttribute'>@@NULL@@</attribute>
   </resource>
  </resourcearray>
  <attribute name='last-modified' flag='3' class='org.w3c.tools.resources.DateAttribute'>Thu, 23 Nov 2000 15:18:46 GMT</attribute>
  <attribute name='help-url' flag='1' class='org.w3c.tools.resources.StringAttribute'>http://ender.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'>RemoteResourceWrapperNode.html</attribute>
  <attribute name='file-stamp' flag='1' class='org.w3c.tools.resources.DateAttribute'>Wed, 31 Dec 1969 23:59:59 GMT</attribute>
  <attribute name='file-length' flag='1' class='org.w3c.tools.resources.IntegerAttribute'>@@NULL@@</attribute>
  <attribute name='backup' flag='2' class='org.w3c.tools.resources.BooleanAttribute'>false</attribute>
 </resource>
</jigxml>
