Case in which the parties alternatively designated, in the agreement to arbitrate, the jurisdiction of the judicial districts of Salvador or São Paulo for enforcement of the arbitration award. Having the judgment creditor opted for one of them, it is not proper for the state court judge to decline jurisdiction ex officio: