Merge branch 'master' of ssh://git.nguyen.vg/tatoo
[tatoo.git] / tests / xmark_small.xml.results / B13_jaxp.log
1 evaluation time: 4697ms
2 serialization time: 491ms