private void Restart() { Contract.Assume(RouteTable.Routes != null); RouteTable.Routes.Clear(); this.Start(); }