Java rules for the 'validate' element

[TBC: describe the Java rules for the content of the validate element of the struct dtd (access to the field values, error reporting, examples).]