Adding JMCR-Stable version

[Benchmarks_CSolver.git] / JMCR-Stable / mcr-test / lib / config / stores / http-server-index.xml.bak

diff --git a/JMCR-Stable/mcr-test/lib/config/stores/http-server-index.xml.bak b/JMCR-Stable/mcr-test/lib/config/stores/http-server-index.xml.bak
new file mode 100644 (file)
index 0000000..d444fcf
--- /dev/null
+++ b/JMCR-Stable/mcr-test/lib/config/stores/http-server-index.xml.bak
@@ -0,0 +1,79 @@
+<?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.store.NewStoreEntry'>
+  <attribute name='repository' flag='4' class='org.w3c.tools.resources.StringAttribute'>10/st-10</attribute>
+  <attribute name='key' flag='4' class='org.w3c.tools.resources.IntegerAttribute'>-1115056897</attribute>
+ </resource>
+ <resource class='org.w3c.tools.resources.store.NewStoreEntry'>
+  <attribute name='repository' flag='4' class='org.w3c.tools.resources.StringAttribute'>4/st-4</attribute>
+  <attribute name='key' flag='4' class='org.w3c.tools.resources.IntegerAttribute'>111551738</attribute>
+ </resource>
+ <resource class='org.w3c.tools.resources.store.NewStoreEntry'>
+  <attribute name='repository' flag='4' class='org.w3c.tools.resources.StringAttribute'>14/st-14</attribute>
+  <attribute name='key' flag='4' class='org.w3c.tools.resources.IntegerAttribute'>-1332859918</attribute>
+ </resource>
+ <resource class='org.w3c.tools.resources.store.NewStoreEntry'>
+  <attribute name='repository' flag='4' class='org.w3c.tools.resources.StringAttribute'>root.xml</attribute>
+  <attribute name='key' flag='4' class='org.w3c.tools.resources.IntegerAttribute'>3506402</attribute>
+ </resource>
+ <resource class='org.w3c.tools.resources.store.NewStoreEntry'>
+  <attribute name='repository' flag='4' class='org.w3c.tools.resources.StringAttribute'>17/st-17</attribute>
+  <attribute name='key' flag='4' class='org.w3c.tools.resources.IntegerAttribute'>-1328601127</attribute>
+ </resource>
+ <resource class='org.w3c.tools.resources.store.NewStoreEntry'>
+  <attribute name='repository' flag='4' class='org.w3c.tools.resources.StringAttribute'>13/st-13</attribute>
+  <attribute name='key' flag='4' class='org.w3c.tools.resources.IntegerAttribute'>-1325687855</attribute>
+ </resource>
+ <resource class='org.w3c.tools.resources.store.NewStoreEntry'>
+  <attribute name='repository' flag='4' class='org.w3c.tools.resources.StringAttribute'>21/st-21</attribute>
+  <attribute name='key' flag='4' class='org.w3c.tools.resources.IntegerAttribute'>1424217772</attribute>
+ </resource>
+ <resource class='org.w3c.tools.resources.store.NewStoreEntry'>
+  <attribute name='repository' flag='4' class='org.w3c.tools.resources.StringAttribute'>2/st-2</attribute>
+  <attribute name='key' flag='4' class='org.w3c.tools.resources.IntegerAttribute'>259322523</attribute>
+ </resource>
+ <resource class='org.w3c.tools.resources.store.NewStoreEntry'>
+  <attribute name='repository' flag='4' class='org.w3c.tools.resources.StringAttribute'>18/st-18</attribute>
+  <attribute name='key' flag='4' class='org.w3c.tools.resources.IntegerAttribute'>-528243304</attribute>
+ </resource>
+ <resource class='org.w3c.tools.resources.store.NewStoreEntry'>
+  <attribute name='repository' flag='4' class='org.w3c.tools.resources.StringAttribute'>26/st-26</attribute>
+  <attribute name='key' flag='4' class='org.w3c.tools.resources.IntegerAttribute'>1264659850</attribute>
+ </resource>
+ <resource class='org.w3c.tools.resources.store.NewStoreEntry'>
+  <attribute name='repository' flag='4' class='org.w3c.tools.resources.StringAttribute'>5/st-5</attribute>
+  <attribute name='key' flag='4' class='org.w3c.tools.resources.IntegerAttribute'>82592644</attribute>
+ </resource>
+ <resource class='org.w3c.tools.resources.store.NewStoreEntry'>
+  <attribute name='repository' flag='4' class='org.w3c.tools.resources.StringAttribute'>12/st-12</attribute>
+  <attribute name='key' flag='4' class='org.w3c.tools.resources.IntegerAttribute'>-1329619860</attribute>
+ </resource>
+ <resource class='org.w3c.tools.resources.store.NewStoreEntry'>
+  <attribute name='repository' flag='4' class='org.w3c.tools.resources.StringAttribute'>6/st-6</attribute>
+  <attribute name='key' flag='4' class='org.w3c.tools.resources.IntegerAttribute'>1765734754</attribute>
+ </resource>
+ <resource class='org.w3c.tools.resources.store.NewStoreEntry'>
+  <attribute name='repository' flag='4' class='org.w3c.tools.resources.StringAttribute'>25/st-25</attribute>
+  <attribute name='key' flag='4' class='org.w3c.tools.resources.IntegerAttribute'>-1777994148</attribute>
+ </resource>
+ <resource class='org.w3c.tools.resources.store.NewStoreEntry'>
+  <attribute name='repository' flag='4' class='org.w3c.tools.resources.StringAttribute'>11/st-11</attribute>
+  <attribute name='key' flag='4' class='org.w3c.tools.resources.IntegerAttribute'>-275376817</attribute>
+ </resource>
+ <resource class='org.w3c.tools.resources.store.NewStoreEntry'>
+  <attribute name='repository' flag='4' class='org.w3c.tools.resources.StringAttribute'>15/st-15</attribute>
+  <attribute name='key' flag='4' class='org.w3c.tools.resources.IntegerAttribute'>502216783</attribute>
+ </resource>
+ <resource class='org.w3c.tools.resources.store.NewStoreEntry'>
+  <attribute name='repository' flag='4' class='org.w3c.tools.resources.StringAttribute'>22/st-22</attribute>
+  <attribute name='key' flag='4' class='org.w3c.tools.resources.IntegerAttribute'>-275271900</attribute>
+ </resource>
+ <resource class='org.w3c.tools.resources.store.NewStoreEntry'>
+  <attribute name='repository' flag='4' class='org.w3c.tools.resources.StringAttribute'>16/st-16</attribute>
+  <attribute name='key' flag='4' class='org.w3c.tools.resources.IntegerAttribute'>1068157202</attribute>
+ </resource>
+ <resource class='org.w3c.tools.resources.store.NewStoreEntry'>
+  <attribute name='repository' flag='4' class='org.w3c.tools.resources.StringAttribute'>3/st-3</attribute>
+  <attribute name='key' flag='4' class='org.w3c.tools.resources.IntegerAttribute'>58499585</attribute>
+ </resource>
+</jigxml>