Civil procedure: discontinuing an arbitration claim