Key legal question
Whether the case should be struck from the roll after the settlement
Extracted holding
Yes. In view of the parties' settlement, the proceedings were removed from the roll.
Extracted reasoning
The parties informed the president by joint filing that the dispute had ended transactionally and asked for the case to be withdrawn from the docket.