public DOM getResultTreeFrag(int initialSize, int rtfType) { if (_dom != null) { return _dom.getResultTreeFrag(initialSize, rtfType); } else { return super.getResultTreeFrag(initialSize, rtfType); } }