XML printer and parser for Doc-Ock