Relaxerのバグ修正

まだ作者には未報告。無くさないようにメモ。
.origのバージョンはbeta20050810.zipだったと思う。

--- org/relaxer/Relaxer/xsd/XsdGenerator.java.orig 2005-05-04 08:27:06.000000000 +0900
+++ org/relaxer/Relaxer/xsd/XsdGenerator.java 2006-06-02 13:37:05.422488100 +0900
@@ -276,7 +276,7 @@
Element element = _makeElement(doc, "attribute");
element.setAttribute("name", aSlot.getAttrName());
if (!choice && aSlot.isRequired()) {
-                    element.setAttribute("use", "true");
+                    element.setAttribute("use", "required");
}
_makeDatatype(element, aSlot.getDatatype());
parent.appendChild(element);
@@ -299,7 +299,7 @@
Element element = _makeElement(doc, "attribute");
element.setAttribute("name", aNode.getAttrName());
if (!choice && isRequired_(aRef)) {
-                    element.setAttribute("use", "true");
+                    element.setAttribute("use", "required");
}
_makeDatatype(element, aNode.getDatatype());
parent.appendChild(element);