/>
            </f:facet>

            <h:panelGroup layout="block" rendered="#{empty selectedHistory}"
                          style="margin-top: 6px; margin-bottom: 6px">
                No operation history is selected. Please select one above.
            </h:panelGroup>

            <!-- TODO: Enclose params and results in separate forms, so that drilling down on a list of maps is possible. -->

            <h:panelGroup layout="block" rendered="#{!empty selectedHistory}"
                          st