// MUSTERLÖSUNG ohne Javadoc, Stand 5.7.04

import java.util.Random;

public class Generator extends Random {

    private static Generator derGenerator = null;

    public Generator(){}
    // damit niemand sonst Objekte vom Typ Generator erzeugen kann

    public static Generator generator() {
	if (derGenerator == null) derGenerator = new Generator();
	return derGenerator;
    }
}