[relaxng-user] date datatype, w3c, java, aargh

[Sebastian Rahtz]

I've got an element called <death> with an attribute "value" containing 
the date  or time
of death. "value" is defined as follows:

 tei.temporalExpr.attributes.value.content =
      xsd:date
      | xsd:gYear
      | xsd:gMonth
      | xsd:gDay
      | xsd:gYearMonth
      | xsd:gMonthDay
      | xsd:time
      | xsd:dateTime

allowing for all sorts of variants.

Sometimes, this works. But sometimes I get irrational errors
when using Jing. For example, it tells me that the value
here
     <death value="1967-09-28">
is bad.

How to pin this down? Well, I observe that I get the error when I use 
the Java 1.5 JRE,
but not when I use the Java 1.4.

I am scrabbling around here. Does anyone have any clues where I can 
follow this up?
Where does Jing get its datatype library from? deep in Java somewhere?

-- 
Sebastian Rahtz      
Information Manager, Oxford University Computing Services
13 Banbury Road, Oxford OX2 6NN. Phone +44 1865 283431

OSS Watch: JISC Open Source Advisory Service
http://www.oss-watch.ac.uk