Remove the timestamp header in source files. This information is
[tatoo.git] / tests / xmark_small.xml.results / A5_jaxp.log
1 evaluation time: 1620ms
2 serialization time: 95ms