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