Makes Random in Savannah.cs static.