Compatibility between an arbitration agreement and a forum selection clause. Case in which the parties alternatively designated, in the agreement to arbitrate, the judicial districts of Salvador or São Paulo for enforcement of the arbitration award. If the judgment creditor validly opted for one of them, it is not proper for the state court judge to decline jurisdiction ex officio: