Removed RngPropertyController. Use RandStream instead.