/*******************************************************************************
 * Copyright (C) 2013  Stefan Schroeder
 * 
 * This library is free software; you can redistribute it and/or
 * modify it under the terms of the GNU Lesser General Public
 * License as published by the Free Software Foundation; either 
 * version 3.0 of the License, or (at your option) any later version.
 * 
 * This library is distributed in the hope that it will be useful,
 * but WITHOUT ANY WARRANTY; without even the implied warranty of
 * MERCHANTABILITY or FITNESS FOR A PARTICULAR PURPOSE.  See the GNU
 * Lesser General Public License for more details.
 * 
 * You should have received a copy of the GNU Lesser General Public 
 * License along with this library.  If not, see <http://www.gnu.org/licenses/>.
 ******************************************************************************/
package jsprit.core.util;

import java.util.Random;

public class RandomNumberGeneration {

	private static long DEFAULT_SEED = 4711L;

	private static Random random = new Random(DEFAULT_SEED);

	public static Random getRandom() {
		return random;
	}

	public static void setSeed(long seed) {
		random.setSeed(seed);
	}

	public static void reset() {
		random.setSeed(DEFAULT_SEED);
	}

}

@@ -1067,16 +1067,92 @@
 SEED);%0A%0A
+%09public static Random newInstance()%7B%0A%09%09return new Random(DEFAULT_SEED);%0A%09%7D%0A%0A
 %09public 
@@ -1295,24 +1295,87 @@
 d reset() %7B%0A
+%09%09reset(random);%0A%09%7D%0A%0A%09public static void reset(Random random)%7B%0A
 %09%09random.set

add static methods to create new instance