For completeness' sake, the XSD
Index: framework/minilang/dtd/simple-methods.xsd
===================================================================
--- framework/minilang/dtd/simple-methods.xsd (revision 2187)
+++ framework/minilang/dtd/simple-methods.xsd (working copy)
@@ -223,6 +223,19 @@
</xs:restriction>
</xs:simpleType>
</xs:attribute>
+ <xs:attribute name="synchronized" default="false">
+ <xs:annotation>
+ <xs:documentation>
+ Run the method under JVM
synchronized keyword
+ </xs:documentation>
+ </xs:annotation>
+ <xs:simpleType>
+ <xs:restriction base="xs:token">
+ <xs:enumeration value="true"/>
+ <xs:enumeration value="false"/>
+ </xs:restriction>
+ </xs:simpleType>
+ </xs:attribute>
<xs:attribute type="xs:string" name="default-error-code"
default="error">
<xs:annotation>
<xs:documentation>
