rightBarNode.removeChild( rightBarNode.getFirstChild() );
Node sub = rightBarNode.getFirstChild();
Node mfenced = ((Document) dom).createElement( "mfenced" );
rightBarNode.insertBefore( mfenced, sub );
((Element) mfenced).setAttribute("open","|");
((Element) mfenced).setAttribute("close","|");
((Element) mfenced).setAttribute("separator","");
Node node = mrowChild.getNextSibling();
while( node != rightBarNode ){
Node next = node.getNextSibling();
mrowNode.removeChild( node );
mfenced.appendChild( node );
node = next;
}
mrowNode.removeChild( mrowChild );
mrowChild = mrowNode.getLastChild();
-_-_-