Add a new option to choose tree model at runtime.
[tatoo.git] / xmark_tiny.xml.results / A1_jaxp.xml