private void addRevisionToRevHistory ( final Node revHistory , final Node revision ) { if ( revHistory . hasChildNodes ( ) ) { revHistory . insertBefore ( revision , revHistory . getFirstChild ( ) ) ; } else { revHistory . appendChild ( revision ) ; } }
Adds a revision element to the list of revisions in a revhistory element . This method ensures that the new revision is at the top of the revhistory list .