public Patch getRandomPatch() {
private Patch getRandomPatch() {
    public Patch getRandomPatch() {	int num = (int) (Math.random() * library.getPatchCollection().size());	return (Patch) (library.getPatchCollection().get(num));    }