public void reset_statistics( string [] pool_names ) { this.Invoke("reset_statistics", new object [] { pool_names}); }