changed Stat[] to Set<Stat> in player classes; still working on converting ff.java to use Stat