Add Permutation.java and IntegerSet.java