Striking out of proceedings where the parties settle – a question of discretion or jurisdiction for the courts?