Create PartialPerm.java